TeX source:
n \rightarrow \infty