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