TeX source:
n\geq 3