lim atan(x) x->oo
Limit(atan(x), x, oo, dir='-')
pi -- 2
lim atan(x) x->0+
0
= -1.16238687736594e-32
lim atan(x) x->0-
= 1.16238687736594e-32
-1.16238687736594e-32