x^2 - 2x + 5 \geq 0