Status
On this page
Status
Topics
Status
On this page
Status
Topics
If are two Sidon sets such that then is it true that
where is the maximum possible size of a Sidon set in ? If then can this bound be improved to
for some constant ?
Source: erdosproblems.com/43
An accepted solution exists. The statement is false.
DISPROVED (LEAN): both questions are answered no, the second by Barreto's construction of 2025-12-19, formalized 2025-12-21, and the first through the solution of Problem 42; the acceptance and the Lean qualifications are on the claim pages below.