>>785　念のため…

〔補題〕
　n≧2,　a_k≧0 (k=1〜n) のとき
　Σ[k=1, n] 1/(1+a_k)^2 ≧ 1/{ 1 + (Π[k=1, n] a_k) /2^(n-2) },

(略証)
nについての帰納法による。
・n=2 のとき
　>>759 (上)
・n≧3 のとき
(左辺) = Σ[k=1, n] 1/(1+a_k)^2
　≧ 1/{1 + (Π[k=1, n-1] a_k) /2^(n-3) } + 1/(1+a_n)^2　　　(←帰納法の仮定)
　≧ 1/{1 + (Π[k=1, n-1] a_k) /2^(n-2) }^2 + 1/(1+a_n)^2
　≧ 1/{1 + (Π[k=1, n] a_k) /2^(n-2) }　　　　　　　　　　　( >>759 上)
　= (右辺).