If for , what conditions are needed for the inequality
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