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