TeX source:
n \geq 1