2cos(2x) < 3cos(x)-1, -pi<=x<=pi