HS.C.9(+).b: Apply the Extreme Value Theorem to continuous functions.