Siano R un numero reale positivo e k un intero positivo; sia inoltre X un insieme finito con n elementi contenuto nel disco
D = {(x, y) ∈ R²: x² + y² < R²}
di centro l’origine e raggio R del piano euclideo R². Supponiamo che, per ogni punto (x0, y0) di R², il disco {(x, y) : (x − x0)² + (y − y0)²< 1} di raggio 1 centrato in (x0, y0) contenga al più k punti di X (in altre parole: ogni punto del piano R² ha distanza strettamente minore di 1 da al più k
punti di X). Dimostrate che vale la disuguaglianza n ≤ k(R + 1)².