TeX source:
n \geq 23