lim x to 0 (cos x)^(cot^2 x)