AUSTRIAN-POLISH 1980 Problem 8
Let be a set of 1980 points in the plane such that the distance between every pair of them is at least 1. Prove that has a subset of 220 points such that the distance between every pair of them is at least
Dataset text AoPS wiki problems. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.