2 atan (x) -------- > 0 x
atan(x)^2/x > 0
(0, oo)
x in Interval.open(0, oo)
And(0 < x, x < oo)
(0 < x)∧(x < oo)