Can a Simple Metric be Used to Construct the Required Unbounded, Continuous Function that Exists if the Space is not Compact?
Compactness of $(M, d)$ in terms of continuous functions $f:M\to \mathbb R$