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