 Extreme value theorem

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