2 cot (x) lim (cos(x)) x->oo
Limit(cos(x)^(cot(x)^2), x, oo, dir='-')
2 cot (x) lim (cos(x)) x->0+
-1/2 e
= 0.606530659712633
2 cot (x) lim (cos(x)) x->0-
0.606530659712633