TeX source:
x\geq \dfrac{16}{5}