точная верхняя грань