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