/x\ ___ cot|-| >= \/ 3 \2/
cot(x/2) >= sqrt(3)
/ pi \ And|x <= --, 0 < x| \ 3 /
(0 < x)∧(x <= pi/3)
pi (0, --] 3
x in Interval.Lopen(0, pi/3)