Claims

../

2026_04_13_barschkis: A measurable set of positive measure and an interval of x on which infinitely many n put nx outside every integer dilate of the set, so the almost-everywhere statement fails; explored with GPT Pro, Lean outside here.

---