Bounded Subsets of Euclidean Space Are Totally Bounded