if is complete and totally bounded is compact wikiproof proofwiki.org Category:math Global Rank:181,681 visits:347.4K pages/Per:1.8 ADS