TeX source:
n \leq 20