Click to proceed to:
https://math.stackexchange.com/questions/4371151/every-totally-bounded-metric-space-is-locally-compact
Take me there