x^2+2x-3\geq0