Closed Real Interval is Compact

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

Let $I = \closedint a b$ be a closed real interval.

Then $I$ is compact.

Also see

 * Open Real Interval is not Compact