>>425
∀k a[k]≧0 と、∀k p[k]≧0 と、Σp[k]=1 を満たす実数列a[1],...,a[n]とp[1],...,p[n]が与えられたとき
y>x≧1なら {Σ( p[k] * (a[k]^x) )}^(1/x) ≦ {Σ( p[k] * (a[k]^y) )}^(1/y)
が成り立ちますか？

の間違いでした
>>425だとp[k]^(1/x)を比べるだけになってしまいますねすいません
証明出来ました