 Compact unit ball characterizes finite-dimensional normed spaces

A normed vector space has compact closed unit ball if and only if it is finite-dimensional. In an infinite-dimensional space, repeated application of Riesz lemma produces unit vectors separated pairwise by a fixed positive distance, contradicting sequential compactness.