Erdős problem 42
Erdős Problem 42: Let M ≥ 1 and N be sufficiently large in terms of M. Is it true that for every maximal Sidon set A ⊆ {1,…,N} there is another Sidon set B ⊆ {1,…,N} of size M such that (A - A) ∩ (B - B) = {0}?
Sources
FormalConjectures/ErdosProblems/
42.lean
Retained formal statement
The difference set of {1, 2, 4} is {0, 1, 2, 3}.
{1, 2, 4} - {1, 2, 4} = {0, 1, 2, 3}TextbookStatement only, no proof