Solution
We will prove that k=n2+2. Indeed, if k⩽n2+1, consider the k real numbers 0,1/n,2/n,…, (k−1)/n. The minimum distance between any two of these numbers is 1/n, and the maximum distance between any two of these numbers is (k−1)/n, which is less than or equal to n.
Now suppose that k=n2+2. Let x0,x1,…,xk−1 be real numbers, sorted in ascending order, and let s be the smallest possible difference between any two of these numbers. It can be shown by immediate induction that xℓ⩾x0+ℓs for all integers ℓ⩽k−1. Consequently, xn2+1⩾x0+(n2+1)s. Since s is the smallest difference, s must be strictly greater than 1/n. Therefore, (n2+1)s is strictly greater than n.