solve 6*x^2-x/2>=5/2 for x real