>>39 2項定理より
{(k^2)/(k^2 -1)}^(k+1) = {1 +1/(k^2 -1)}^(k+1) = Σ[j=0,k+1] C[k+1,j] /(k^2 -1)^j > 1 + 1/(k-1) = k/(k-1),
∴ {k/(k-1)}^k > {(k+1)/k}^(k+1) > ・・・(単調減少)・・・ > lim[k→∞) (1 + 1/k)^k = e,
>>41 ・左側
{1,1,・・・・,1,(k-1)/k} (k個) の相加・相乗平均から、
{(1-k^2)/k^2}^k > (k-1)/k,
∴ {k/(k-1)}^(k-1) < {(k+1)/k}^k < ・・・・ < e, (単調増加)
・右側
>>40 または
{1,1,・・・・,1,k/(k-1)} (k+1個) の相加・相乗平均から、
{(k^2)/(k^2 -1)}^(k+1) > k/(k-1),
∴ e < ・・・・ < {(k+1)/k}^(k+1) < {k/(k-1)}^k, (単調減少)