По теореме, которая гласит, что у полунепрерывной функции есть максимум на компакте.
Не знаю, как называется.
Для непрывных функций вроде связывают с именем Вейерштрасса.

(Reply to this) (Parent)