Exercise 8, § 3

A Hausdorff topological group G is said to be locally precompact if there is a neighbourhood $V_0$ of e which is precompact with respect to the right (or left) uniformity on G. Show that every locally precompact group has a locally compact completion (use Exercise 7).