Compactness implies completeness

Compactness implies completeness: If $(X,d)$ is a compact metric space , then $X$ is complete .

This shows compactness is a strong finiteness condition: it forces not only boundedness but also the existence of limits for all Cauchy sequences .