>>659
ヘルダーの不等式？に
a = ai/{Σ[i=1,n](ai)^p}^(1/p)
b = bi/{Σ[i=1,n](bi)^q)}^(1/q)
を代入して和を取る。