2017 USAMO Problems/Problem 5
Problem
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
.