7. The Extreme Value Theorem