Totally Bounded Sets Are Bounded