Suppose that for and let .
For , show that and that:
This is just a generalization of Hölder's inequality, and you can prove it as follows (obviously the argument is inductive):
Assume , and consider then and we get:
This yields which is the result for .
For the induction step, call then where the last inequality is by the induction hypothesis with