Extreme value theorem (source code)

= Extreme value theorem
{wiki}

A real-valued <continuous function> on a nonempty <compact space> attains both its minimum and its maximum.