Erdős problem 44 · problems.science

Erdős Problem 44: Let N ≥ 1 and A ⊆ {1,…,N} be a Sidon set. Is it true that, for any ε > 0, there exist M = M(ε) and B ⊆ {N+1,…,M} such that A ∪ B ⊆ {1,…,M} is a Sidon set of size at least (1−ε)M^{1/2}?

Sources

Browse retained paths and inspect the exact material available for this Problem.

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

44.lean

Retained formal statement6 of 6

For any N, there exists a Sidon set of size at least √N/2.

FormalConjectures/ErdosProblems/44.leanErdos44.sidon_set_lower_bound1 lineExact file

1∀ (N : ℕ), 1 ≤ N → ∃ A ⊆ Finset.Icc 1 N, IsSidon ↑A ∧ N.sqrt / 2 ≤ A.card

TextbookStatement only, no proof

Sources

Search problems.science