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