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