Every n points in the plane contain (m1 + o(1)) n points with no unit distance

Shisheng Li, Yong Su

Let $f(n)$ be the largest integer such that every set of $n$ points in the plane contains $f(n)$ points no two at distance $1$, and let $m_1$ be the supremum of the upper densities…