Claims

../

2026_04_22_ho: For every r at least 2, a set up to N with at most r representations of each nonzero difference has at most (root r + o(1)) root N elements, fewer than the Cilleruelo-Ruzsa-Trujillo sum construction; so the constants differ.

---