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