Claims

../

1971_03_01_erdos_straus: Erdős and Straus's 1971 paper proves the series irrational for every nondecreasing integer sequence with a_1 at least 2 (Theorem 2.23) and for every sequence with |a_n| above a constant times (log n)^(3/4) (Lemma 2.14).

2026_04_14_chojecki: Chojecki, working with GPT-5.4 Pro, deduces the irrationality of the series for every positive-integer sequence tending to infinity from Tao and Teräväinen's theorem on prime factors of consecutive integers.

---