>>293
x≠0 のとき f(x)=(1+x)^(1/x),f(0)=e として平均値の定理.