x^2-2x-3 \geq 0