Continuous function on a compact set is bounded

Continuous functions on compact domains have finite upper and lower bounds
Continuous function on a compact set is bounded

Corollary: Let (X,d)(X,d) be a and let f:XRf:X\to\mathbb{R} be . Then ff is : there exists M<M<\infty such that f(x)M|f(x)|\le M for all xXx\in X.

Connection to parent theorem: By the , ff attains a M+M_+ and a MM_-. Then f(x)max{M+,M}|f(x)|\le \max\{|M_+|,|M_-|\}.