x^2-2x+5 \geq 0