>>174
(ax＋by)^p≦(ax)^p＋(by)^p
の意味なら容易。両辺を (ax)^p で割って ax = 1 として良い。
後は f (z) = z^p に、区間 [1, 1 + z] で平均値の定理。