Closed interval is compact

is Compact.

Proof sketch

Suppose otherwise, and pick a cover which has no finite subcover. Find sequence of intervals, each half the size of the previous one, which cannot be covered by a finite subcover. The limit is some which is certainly in one of the open sets in the cover. But then that set will contain one of the intervals which is a contradiction.