Claims

../

2026_01_17_somani: Neel Somani's argument, produced with GPT-5.2 Pro and posted on the site, proves the answer yes through Haar measure on the profinite integers, an averaging argument and Dini's theorem; accepted on the curator's credit.

2026_01_18_koishichan: KoishiChan's observation on the site that the Davenport-Erdős theorem on sets of multiples and Rogers' theorem on zero residues together answer the question yes in a few lines; accepted on the curator's credit.

---