Loading problem…
Status
On this page
Status
Topics
Problem 42
Let and be sufficiently large in terms of . Is it true that for every Sidon set there is another Sidon set of size such that ?
Source: erdosproblems.com/42
- Number theory
- Sidon sets
- Additive combinatorics
Status
Solved, ProvedAn accepted solution exists. The statement is true.
The site labels the problem “SOLVED (LEAN)”: the question, read for non-empty as the Formulation records, is answered yes, by a proof for every posted 2026-04-27 and formalized 2026-05-10, so the problem stands proved; the acceptance and the Lean qualifications are on the claim pages below.