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