TeX source:
n \ge 15