Экстремум функции с единственной критической точкой

Если на промежутке \(I\) у функции ровно одна критическая точка \(x_0\), и \(f'\) меняет знак вокруг неё (или известен знак \(f''(x_0)\)) — экстремум в \(x_0\) достигается на ВСЁМ промежутке \(I\), даже если он бесконечен.