___
\/ 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))