Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_09_05_gu: A write-up of September 2026 claims the limsup bound 2/pi almost everywhere and, with a constant depending on the point, a dense set where the Lebesgue function exceeds (2/pi) log n minus it infinitely often.
Linked from (1)
Graph