sin(x)>sqrt(3) cos(x - π/3),0<=x<2*π