Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2025_04_27_eberhard: Eberhard proves that every positive rational equals tau(n plus 1) over tau(n) for infinitely many n, so the ratios are dense in the positive reals; refereed, credited by the site, with a conditional community Lean file.
Linked from (1)
Graph