Let be a sequence of positive real numbers such that for all we have
Prove that there is a positive integer such that , for all .
Let be a sequence of positive real numbers such that for all we have
Prove that there is a positive integer such that , for all .
First, we prove that the sequence is bounded; divide the sequence into blocks of terms. It can be easily seen that the maximum of these blocks is decreasing. If the infimum of the maximums of the blocks is zero, the statement follows. Therefore, assume this infimum is . Due to the decreasing nature of the maximums, it follows that the infimum of the maximums of all consecutive blocks of terms (not just the initial blocks) is equal to . In fact, beyond a certain point, the maximum of each -term block will be between and .
This implies that the minimum in each of these blocks is smaller than . Consider a term in the sequence from this point onwards that is smaller than . According to the inequality above, each of the next terms will be in the interval .
Suppose the largest of these terms is and the smallest of these terms is . If , then the th term will be greater than , which implies that the supremum of the next terms becomes less than , which is a contradiction.
Therefore, from a certain point onwards, the sequence will consist of terms larger than and one small term. More precisely, the sequence will be of the form
In the next block, the first term will be larger than all terms. Therefore, we can assume . This easily implies that if the next block is
we have