If is a sequence of real numbers with for all , and if is a fixed real number with , such that
prove by induction that
Proof. First, for the case , we have on the left, and on the right we have . Hence, the inequality (which is not strict) holds for this case.
Assume then that the inequality holds for some integer . Then, we have
Thus, the statement holds for all