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