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