Exercise 6, § 4

Let $X$ be a uniform space in which every sequence of points has at least one cluster point. Show that $X$ is precompact (use reductio ad absurdum).