Problem
A set of points in the plane is called good if the distance between any two points in it is at most . Let be the largest positive integer such that in any good set of points, there is a circle of diameter , which contains at least points. Prove that there exists a positive real , such that for all , the value of does not depend on and find that value as a function of . (Kristiyan Vasilev, Konstantin Garov)