A sequence of integers satisfies and for all .
Show that for every positive integer there exist indices such that .
Problem 1425
Official solution
1. **Define the sequence and the set **:
- We are given a sequence of integers such that and for all .
- We need to show that for every positive integer , there exist indices and such that .
2. **Construct the set **:
- Consider the set .
- We will divide this set into disjoint subsets:
3. Apply the given inequality:
- According to the given inequality , the first terms of the sequence must all be elements of the set .
4. Use the Pigeonhole Principle:
- Since there are numbers and only disjoint subsets in , by the Pigeonhole Principle, at least one of these subsets must contain at least two of the numbers from the sequence.
- Let be such that two different integers from the sequence belong to the set .
5. Find the difference:
- If and are the two integers from the sequence that belong to the set , then their difference is:
6. Conclusion:
- Therefore, for every positive integer , there exist indices and such that .