x^2-3 \ge 2x