___ \/ 3 sin(x) <= ----- 2
sin(x) <= sqrt(3)/2
pi 2*pi [0, --] U [----, 2*pi] 3 3
t in Union(Interval(0, pi/3), Interval(2*pi/3, 2*pi))
/ / pi\ /2*pi \\ Or|And|0 <= t, t <= --|, And|---- <= t, t <= 2*pi|| \ \ 3 / \ 3 //
((0 <= t)∧(t <= pi/3))∨((2*pi/3 <= t)∧(t <= 2*pi))