Fuente TeX:
y\leq 5-4x-x^2