令y=(cos1/x)^x
lny=xlncos(1/x)
则limlny
=limlncos(1/x)/(1/x)
是∞/∞型,用洛必达法则
=lim[1/cos(1/x)*(-sin1/x)*(1/x)']/(1/x)'
=lim[-tan(1/x)]
=0
所以原式=e^0=1