Q17 Matemática  (JBMO ShortLists 2015)

$2015$ pontos são dados em um plano tal que de quaisquer cinco pontos podemos escolher dois pontos com distância menor que $1$ unidade. Prove que $504$ dos pontos dados estão em um disco unitário.