TeX source:
3 n-7 < 26