Solution (source code)

= Solution

$a_n\to a$ means that for every $\varepsilon\gt 0$ there is $N$ such that $n\ge N$ implies $|a_n-a|\lt \varepsilon$.