>>897 >>905

Sierpinskiの不等式
　A(n)^(n-1)･H(n)≧G(n)^n
を使えば
　A(n) + (1/(n-1))H(n) ≧ (n/(n-1)){A(n)^(n-1)･H(n)}^(1/n) ≧ (n/(n-1))G(n),
　m ≧ 1/(n-1),
は簡単に出ます。

しかし掛け算すると、ｘ→（1,1,････,1,0）のとき下限値1/(n-1)に近づくので、これ以上改良できそうにない…
というワケで加減で比べてみました。