Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2024_11_27_kovac_tao: Kovač and Tao prove that no strictly increasing sequence with bounded successive ratios is an irrationality sequence of this type, so 2^n is not one.
2025_12_18_alexeev: Aristotle (Harmonic), in a run posted by Alexeev, proves in Lean from the Formal Conjectures statement that 2^n is not an irrationality sequence of this type.
Linked from (1)
Graph