帰納法による回答です。
P(n):0<α<βならば、(p1α+p2α+⋯+pnα)α1>(p1β+p2β+⋯+pnβ)β1
P(2)は割愛。((1)の関数から)
P(n)の成立を仮定すると、P(n+1)について
(p1α+p2α+⋯+pnα+pn+1α)α1
=(((p1α+p2α)α1)α+⋯+pnα+pn+1α)α1
>(((p1β+p2β)β1)α+⋯+pnα+pn+1α)α1 ∵P(1)
>(((p1β+p2β)β1)β+⋯+pnβ+pn+1β)β1 ∵P(n)
=(p1β+p2β+⋯+pnβ+pn+1β)β1
よって、P(2)かつP(n)⇒P(n+1)が真であるから、数学的帰納法により2以上の任意の自然数nについて、P(n)が正しいことが言える。
こんな感じでいかがですか?