TeX source:
k\to\infty