IMO олимпиада по математике 2020 года | Казахстанские олимпиады

Докажите, что существует положительная константа cc, для которой выполняется следующее утверждение:  Пусть SS — множество из n>1n > 1 точек плоскости, в котором расстояние между любыми двумя точками не меньше 1.
Тогда существует прямая \ell, разделяющая множество SS, такая что расстояние от любой точки SS до \ell не меньше чем cn1/3.cn^{-1/3}.
(Прямая \ell разделяет множество точек SS, если она пересекает некоторый отрезок, концы которого принадлежат SS.)
Замечание. Более слабые результаты с заменой cn1/3cn^{-1/3} на cnαcn^{-\alpha} могут оцениваться в зависимости от значения константы α>1/3\alpha > 1/3.