有个定理(也许是引理?……):
若lim(x→x0)f(x)=y0,lim(y→y0)g(y)=l,且存在正数a使得在(x0-a,x0+a)内f(x)≠y0,则lim(x→x0)g(f(x))=l (证明就是直接把极限的定义套进去就完了)
在这里,f(x)=lnx,g(y)=e^y,可以看出f(x)确实满足那个看起来很奇葩的条件“存在正数a使得在(x0-a,x0+a)内f(x)≠y0”.
严格的说法就是,你做到最后发现lim(x→x0)f(x)(即lnx)存在(=y0),且lim(y→y0)g(y)(即e^y)存在(=g(y0))(因为g连续嘛),所以原极限=lim(x→x0)g(f(x))=g(y0)