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