Suppose that and are two sequences of nonnegative numbers such that for some real number , the following recursion inquality holds: , for any . Prove that if , then is converges.
provided . Now taking the with respect to we have
Now consider the with respect to we deduce
since . This and the fact that
yields the conclusion.