TeX source:

x\leq\dfrac{16}{5}