The density of planar sets avoiding unit distances

By improving upon previous estimates on a problem posed by L. Moser, we prove a conjecture of Erdős that the density of any measurable planar set avoiding unit distances cannot exceed $1\mathrm{/}4$. Our argument implies the upper bound of $0.2470$.