TeX source:
a_{n} \neq 0