Claims

../

2024_04_10_liu_sawhney: Liu and Sawhney's Proposition 1.4: a dense subset of one through N has a subset whose reciprocal sum is a rational with denominator bounded in terms of the density; refereed in IMRN and credited by the site's curator.

2026_08_17_alexeev: A Lean development in Boris Alexeev's lean-proofs repository proves that a dense subset of one through N has a subsum with denominator bounded in terms of the density, the qualitative answer; claimed, not built by this corpus.

---