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 .