Download PDF - The unit ball of every infinite-dimensional normed linear space contains a (1+ɛ)-separated sequence