TeX source:
n \to \infty