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