2 tan (x) < 2*tan(x)
tan(x)^2 < 2*tan(x)
And(0 < x, x < atan(2))
(0 < x)∧(x < atan(2))
(0, atan(2))
x in Interval.open(0, atan(2))