This is about an exercise in [Bass]:
Exercise 19.5. Prove that if is infinte-dimensional, that is, it has no finite basis, then the closed unit ball in is not compact.
Proof. Choose an orthonormal basis , then . This means the sequence is not Cauchy hence has no convergent subsequence.
For a Banach space, by Riesz’s lemma to find a non-Cauchy sequence.
[Bass] Bass, R. F. (2013). Real analysis for graduate students. Createspace Ind Pub.