Let denote the set of all integers. Find all real numbers such that there exists a labeling of the lattice points with positive integers for which: only finitely many distinct labels occur, and for each label , the distance between any two points labeled is at least .
USAMO
Solution
See page 11 of this PDF: https://web.evanchen.cc/exams/USAMO-2017-notes.pdf
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.