3 2 tan (x) - 2*tan (x) > 0
tan(x)^3 - 2*tan(x)^2 > 0
pi (atan(2), --) 2
x in Interval.open(atan(2), pi/2)
/ pi \ And|x < --, atan(2) < x| \ 2 /
(atan(2) < x)∧(x < pi/2)