Question 65
Given a convex pentagon $ABCDE$, of which the length of each edge and of the diagonals $AC$, $AD$ does not exceed $\sqrt{3}$. Choose 2001 arbitrary distinct points in the interior of that pentagon. Show that there exists a unit disk with center lying on the edges of the pentagon, which contains at least 403 of the chosen points.