原式 = lim(x->0) e^ [ cot²x ln (cosx) ] = e ^ [ lim(x->0) ln (cosx) / tan²x ] = e ^ [ lim(x->0) ln (cosx) / x² ] = e ^ [ lim(x->0) - tanx / (2x) ] 洛必达法则= e^(-1/2)