___ atan(x) < \/ 3
atan(x) < sqrt(3)
x0 = 0
___ 0 < \/ 3
/ / ___\\ And\x > -oo, x < oo, x != tan\\/ 3 //
(x > -oo)∧(x < oo)∧(Ne(x, tan(sqrt(3))))
/ ___\ / ___\ (-oo, tan\\/ 3 /) U (tan\\/ 3 /, oo)
x in Union(Interval.open(-oo, tan(sqrt(3))), Interval.open(tan(sqrt(3)), oo))