Proved. Theorem 1 of Bergelson and Richter ([BeRi17], a chapter of a Springer Festschrift volume, arXiv:1611.08044) gives density $6/\pi^2$ for the integers $n$ coprime to $\lfloor f(n)\rfloor$ for every Hardy-field $f$ meeting its growth conditions, $f(t)=t^\alpha$ with $\alpha>0$ a non-integer among them; the site's curator, Thomas Bloom, records this as the proof. The claim page Bergelson and Richter 2017 records the acceptance. Earlier, Delmer and Deshouillers (2002) proved the statement for every non-integer $\alpha>0$, Delmer and Deshouillers 2002, and Lambek and Moser (1955) proved the exponents $\alpha=1/k$ for integers $k\ge2$, Lambek and Moser 1955. Bergelson and Richter's introduction credits Lambek and Moser with all $0<\alpha<1$, which is more than their paper states.