TeX source:
8+\frac{n}{3} \geqslant 6