Call a metric space sequentially compact if every sequence has a convergent subsequence. Prove that a metric space is sequentially compact if and only if every infinite subset has a cluster point.