# If no Cauchy subsequence exists, must a uniformly separated subsequence exist?

Given a sequence $(x_n)$ in a metric space $M$, call it uniformly separated if all pairwise distances $d(x_n,x_m)$ between distinct terms are uniformly bounded away from zero.

Suppose that a given sequence $(x_n)$ has the property that it has no Cauchy subsequence. Must it have a uniformly separated subsequence?

A couple of my students asserted this in homework without watertight proof, and proof or disproof is eluding me. Clearly any counterexample cannot be in ${\mathbb R}^n$. Enjoy!

-