■ほぼ1の数の無限積(その14)
an=(1+1/n)^n
が単調増加数列であることを示したい.そのためには
f(x)=(1+x)^1/x (x>0)
が減少関数であることがいえればよい.
===================================
logf(x)=log(1+x)/x
ここで,log(1+x)は上に凸な増加関数.log(1+x)/xはこの曲線上の点と原点を結ぶ直線の傾きであるから,減少関数である.
===================================