If for , what conditions are needed for the inequality

to hold?

**Claim:**In addition to we also need for each .

*Proof.*The statement is certainly true for the case (since by assumption). Assume then that it is true for some . Then,

by the inductive hypothesis. But then, since ,

Thus, the statement is true for ; and hence, for all