2/x\ 2/x\
cos |-| - sin |-| >= 1/2
\3/ \3/
-sin(x/3)^2 + cos(x/3)^2 >= 1/2
/ / pi\ /5*pi \\ Or|And|0 <= x, x <= --|, And|---- <= x, x <= 3*pi|| \ \ 2 / \ 2 //
((0 <= x)∧(x <= pi/2))∨((5*pi/2 <= x)∧(x <= 3*pi))
pi 5*pi
[0, --] U [----, 3*pi]
2 2
x in Union(Interval(0, pi/2), Interval(5*pi/2, 3*pi))