The unit ball of every infinite-dimensional normed linear space contains a (1+ɛ)-separated sequence
Volume 44 / 1981
Colloquium Mathematicum 44 (1981), 105-109
DOI: 10.4064/cm-44-1-105-109