Image of Convergent Sequence in Topological Vector Space is von Neumann-Bounded

Theorem
Let $\struct {X, \tau}$ be a topological vector space.

Let $\sequence {x_n}_{n \in \N}$ be a convergent sequence with $x_n \to x$.

Let:


 * $E = \set {x_n : n \in \N}$

Then $E$ is von Neumann-bounded.