Reply:>>554 俺を呼んだかい？

>>550
関数1/xの積分としてln xを定義。もちろん∫[1〜x]dt/t。
D(ln x)=1/x よりlim[h→0] {ln(x+h)-ln x}/h=1/x　x=1とおけば対数法則より lim[h→0] (1/h)*ln(1+h)
　　　　　　　　　 =lim[h→0] ln{(1+h)^(1/h)}=1、ゆえに lim[h→0] (1+h)^(1/h)=lim[n→∞] (1+(1/n))^n =e
ゆえにln(x)=1のとき、x=eとなる。