TeX source:
\displaystyle{\lim_{k\to \infty} a_k \neq 0},