Claims, announcements and changes recorded against Nearest integer to n/√2. https://qed.bot/feeds/s/oeis-49473.xml 2026-09-30T14:34:03Z qed.bot