求lim(x->0)(1+3(tan^2)x)^((cot^2)x)