Let be a sequence of positive numbers. If there exists a positive number such that for every ,
then prove that there exists a positive number such that for every ,
Solution
We say that a sequence of positive real numbers is good if there exists a positive constant such that
for any .
We first prove the following equivalent conditions for a sequence to be good.
Claim. A sequence of positive real numbers is good if and only if the following conditions hold.
(i) There exists a constant such that for any ; and
(ii) there exists a positive integer such that for any .
Proof. Suppose is good. Then we have . So we can take for (i). Next, we take to be any integer larger than . Note that for any . It follows that
This proves (ii).
Conversely, suppose (i) and (ii) hold. For any , we have
So we can take so that (1) holds.
We go back to the original problem. Note that the sequence is good by the given condition. By the claim, there exists and such that and for any . This implies and
Therefore, the sequence is good by the claim. This is exactly our goal.