Heine–Borel Theorem

Heine–Borel Theorem: A subset $K\subseteq \mathbb{R}^k$ is compact (in the Euclidean metric) if and only if it is closed and bounded .

This theorem is the fundamental compactness criterion in Euclidean spaces and is used constantly to verify hypotheses of the extreme value theorem , uniform continuity , and convergence results.