Equivalent statements to compactness of a metric space/Statement

Attention people coming in from search engines: this is a sub-page, you want Equivalent statements to compactness of a metric space

Statement of theorem

Given a metric space $(X,d)$, the following are equivalent:

1. $X$ is compact
2. Every sequence in $X$ has a subsequence that converges (AKA: having a convergent subsequence)
3. $X$ is totally bounded and complete