2 cot (x) < cot(x)
cot(x)^2 < cot(x)
/pi pi\ And|-- < x, x < --| \4 2 /
(pi/4 < x)∧(x < pi/2)
pi pi (--, --) 4 2
x in Interval.open(pi/4, pi/2)