/x\ cot|-| >= 1 + cot(x) \2/
cot(x/2) >= cot(x) + 1
And(0 < x, x < pi)
(0 < x)∧(x < pi)
(0, pi)
x in Interval.open(0, pi)