___ sin(x) >= \/ 3 *cos(x)
sin(x) >= sqrt(3)*cos(x)
/pi 4*pi\ And|-- <= x, x <= ----| \3 3 /
(pi/3 <= x)∧(x <= 4*pi/3)
pi 4*pi [--, ----] 3 3
x in Interval(pi/3, 4*pi/3)