17/08/03 02:24:17.48 HTpcwzgX.net
>>365
> (a^n)/b^(n-1)は a^(n+1)/(b^n)(n-1)個と a 1個の相乗平均
ムムム、スゴスギル…。
> 循環的にたすと n S_(n+1) ≧(n+1)S_n - S_1,
これから (S_n)/n は単調減少も出るでござるな。
これを差の形にして、nを 1,2,…,n-1として和を取り、右辺を部分分数分解して計算したら、
(S_n)/n ≧ s_1/n
となって、何も得られなかったでござる…。