TeX source:
a_n \to 2