>>297

〔補題〕
負でない実数 y[1], y[2], ……, y[n] に対して
 Σ[k=1,n] y[n]/(1+y[1]+y[2]+・・・・+y[n])^2 < 1,