Complete totally bounded metric space is compact
= Complete totally bounded metric space is compact
A metric space is compact exactly when it is both <complete> and <totally bounded>. For the nontrivial direction, successively choose a point from a nested sequence of finite $2^{-n}$-nets; a diagonal construction gives a Cauchy subsequence of every sequence, and completeness gives its limit.