1 problem

Let $m_1(\mathbb{R}^2)$ denote the supremum of the upper densities of measurable subsets of $\mathbb{R}^2$ that avoid distance $1$. Erdős's conjecture. … If true, this would give a…