lim sign(x) x->oo
Limit(sign(x), x, oo, dir='-')
1
lim sign(x) x->0+
= 1.0
lim sign(x) x->0-
-1
= -1.0
1.0