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 .
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,000 problems in a working order, from AMC 10 level to the IMO shortlist.