Differentiable paths in topological vector spaces

In this note, we show that a strong form of the Bolzano-Weierstrass theorem in a topological vector space E[ T] is equivalent, for example, to the assertion that there are enough differentiable paths, x (t), with non-trivial tangen t vectors, so that a function f defined on E will be sequentiall...