Total boundedness is exactly the condition that every sequence has a Cauchy subsequence.Suggest a slogan
A metric space is totally bounded if and only if every sequence in it has a Cauchy subsequence.
Totally bounded if and only if Cauchy subsequences exist
T-PCL4H