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