Exercise 1812Combinatorics › Pigeonhole principleOlympiadAdded 3 Nov 2026
Separated integers
#pigeonhole#distance#bounded
Statement
Show that if distinct integers are chosen from , then some two have difference at most . (This is trivial: two must be consecutive.) Prove the stronger: if they are chosen to be pairwise at distance , then at most can be chosen.
Hint
If pairwise distance , then the chosen integers satisfy .
Show solutionHide solution
Solution
Sorting. Let . With pairwise distance : .
Bound. . Contradiction.
Conclusion. At most pairwise-distant integers can be chosen from .