Problem

Source: JBMO Shortlist 2015 C2

Tags: combinatorics, combinatorial geometry, points, distance



$2015$ points are given in a plane such that from any five points we can choose two points with distance less than $1$ unit. Prove that $504$ of the given points lie on a unit disc.