Claims

../

2026_01_21_barschkis: An explicit sequence with consecutive ratios tending to 2 whose subset sums have density one after any finite deletion, from an idea of Tao and van Doorn, with a Lean proof; checked by a named reader and accepted by the site.

---