Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
1978_01_01_ruzsa: For an infinite set of naturals of density zero, the count of differences up to N exceeds any fixed multiple of the count of elements up to N infinitely often; Ruzsa's 1978 paper, credited by the site; others' Lean proof linked.
Linked from (1)
Graph