Real Sequence with Nonzero Limit is Eventually Nonzero

Theorem
Let $(x_n)$ be a real sequence.

Let $(x_n)$ converge to $a\neq 0$.

Then there exists $N \in \N$ such that $x_n \neq0$ for $n\geq N$.

Also see

 * Limit of Positive Real Sequence is Positive