: Если функция определена и непрерывна на a,b, то она достигает на этом сегменте свою точную верхн.. и точную нижнюю грань. Док-во: m=inf M=sup Тогда по первой теореме Вейерштрасса M- конечное число.
Предположим, что f(x)<M Это значит, что sup не достигается. Рассмотрим U(x)=1/M-f(x), U(x) – непрерывная. По первой теореме Вейерштрасса U ограничена ≤mu f(x)≤M-1/mu Число M-1/mu Есть верхняя граница, а этого быть не может т.к. sup М.