International Mathematical Olympiad 2020 Problem 6
Prove that there exists a positive constant such that the following statement is true:
Consider an integer , and a set of points in the plane such that the distance between any two different points in is at least 1. It follows that there is a line separating such that the distance from any point of to is at least .
(A line separates a set of points if some segment joining two points in crosses .)
Note. Weaker results with replaced by may be awarded points depending on the value of the constant .