Extreme value theorem

A continuous function on a compact set attains its supremum and infimum. The real-line case f : [a,b] → ℝ is the classical statement.