TeX source:
k\to \infty