Let consist of and the numbers for any Prove that is compact directly from the definition (w/o using the Heine-Borel Theorem).

Definition from the book:

A subset of a metric space is said to be compact if every open cover of contains a finite subcover. More explicitly, the requirement is that if is an open cover of , then there are finitely many indices such that