设f(x)=lnx
存在y∈(x,x+1)使得
f'(y)=[f(x+1)-f(x)]/(x+1-x)
=ln(x+1)-lnx
=ln(1+1/x)
∵0