スレ汚してしまって申し訳ない>>590がやはり正しい

次数 r の一般の累乗平均 M に対して
　　M(a[1] + … + a[n]) - (M(b[1]) + … + M(b[m]))
の符号はどうなるのだろうか
・r > 1のとき：負
・r = 1 のとき：0
・r < 1 のとき：正
な気がする
r = 1 は明らかで r = 0 はヘルダーになる

それとももう結果は知られてるのか