If for
, what conditions are needed for the inequality
to hold?
Claim: In addition to



Proof. The statement is certainly true for the case



by the inductive hypothesis. But then, since ,
Thus, the statement is true for ; and hence, for all