TeX source:
n \geq1