the proof of the derivative ln(x

问题描述：

今天早上，对ln(x) 求导公式进行证明，用到了极限定理：
lim(x->0) (1+x)^(1/x)=e
后来我又想证明一下这个极限，发现用到了(ln(x))'=1/x ;

不知道这个是不是涉及到了循环证明。