TeX source:
n\ge 1