>>37(1) >>40 >>41 >>44

〔Redhefferの不等式〕
a_1 〜 a_n >0 のとき
G_k = (a_1･a_2…a_k)^(1/k) とおくと
G_1 + G_2 + …… + G_n ≦ Σ[k=1,n] (1+1/k)^k･a_k - n･G_n,

　和書[3] (大関, 1987) p.114-115 例題3
　文献　Ray Redheffer: Proc. London Math. Soc., Vol. s3-17, Iss. 4, p.683-699 (1967/Oct)
　　　　"Recurrent inequalities"