TeX source:

n\to\infty