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