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