Nemotron-IMO-Bench 2026 G43

A diameter of a finite planar set is any line segment of maximal Euclidean length having both end points in that set. Prove that a set of $n>1$ lattice points in the plane has at most $n-1$ diameters.