Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_04_19_ho: For non-decreasing F tending to infinity, some set of infinite measure with no integer ratio has measure at least F(x) in (0, x) eventually exactly when the integral of F(x)/x^2 converges; with GPT-5.4 Pro, credited by the site.
Linked from (1)
Graph