>>502
p>1 のときは関数 x^p の凸性から