Exercise 5, § 4

Show that a uniform space $X$ is precompact if and only if every ultrafilter on $X$ is a Cauchy filter. (Remark that if $X$ is not precompact then there is an entourage $V$ of $X$ such that the sets $C_V(x)$, as $x$ runs through $X$, generate a filter on $X$).