TeX source:
n\geq 2