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 set {1, 2, 4} is a maximal Sidon set in {1, ..., 4}.
{1, 2, 4}.IsMaximalSidonSetIn 4TextbookStatement only, no proof