Compact Subspace of Real Numbers is Closed and Bounded/Proof 2

Theorem

Let $\R$ be the real number line considered as a Euclidean space.

Let $S \subseteq \R$ be compact subspace of $\R$.

Then $S$ is closed and bounded in $\R$.

Proof

From Real Number Line is Metric Space, $\left({\R, d}\right)$ is a metric space, where $d$ denotes the Euclidean metric on $\R$.

Therefore, the result follows from:

Metric Space is Hausdorff

Compact Subspace of Hausdorff Space is Closed

and:

Compact Metric Space is Totally Bounded

Totally Bounded Metric Space is Bounded

$\blacksquare$