TeX source:
224x^2+11 \geq 0