Claims

../

2022_07_28_ambrus_csiszarik_matolcsi_varga_zsamboki: Every measurable planar set with no two points at distance one has upper density at most $0.247$, so $m_1\le0.247<1/4$, which answers the site's question and proves Erdős's conjecture $m_1<1/4$.

---