TeX source:
n\to \infty