Compact First-Countable Space is Sequentially Compact

Theorem
Let $T = \struct {S, \tau}$ be a compact first-countable topological space.

Then every infinite sequence in $S$ has a convergent subsequence; that is, $T$ is sequentially compact.

Proof
Let $\sequence {x_n}_{n \mathop \in \N}$ be an infinite sequence in $S$.

that $\sequence {x_n}_{n \mathop \in \N}$ does not have a convergent subsequence.

By Accumulation Point of Infinite Sequence in First-Countable Space is Subsequential Limit, it follows that $\sequence {x_n}_{n \mathop \in \N}$ does not have an accumulation point in $S$.

Thus, for each $x \in S$, we can select an open set $U_x$ such that $x \in U_x$ and $U_x$ only contains $x_n$ for finitely many $n \in \N$.

The set $\UU = \set {U_x : x \in X}$ is clearly an open cover for $S$.

By the definition of a compact space, there exists a finite subcover $\set {U_{x_1}, U_{x_2}, \ldots, U_{x_m} }$ of $\UU$ for $X$.

Then $U_{x_1} \cup U_{x_2} \cup \cdots \cup U_{x_m}$ contains all of $S$ since it is a cover.

However, each open set in this union only contains $x_n$ for a finite number of $n$, and this is a finite union of sets.

So the union only contains $x_n$ for finitely many $n$.

This implies that $x_n \in X$ for only finitely many $n \in \N$.

This is a contradiction, since $\sequence {x_n}$ is a sequence in $S$, and so $x_n \in S$ for all $n \in \N$.