Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

Problem 950

../


Statement. Let

f(n)=∑p<n1n−p.f(n) = \sum_{p<n}\frac{1}{n-p}.

Is it true that

lim inf⁡f(n)=1\liminf f(n)=1

and

lim sup⁡f(n)=∞?\limsup f(n)=\infty?

Is it true that f(n)=o(log⁡log⁡n)f(n)=o(\log\log n) for all nn?

Status. Open.

Source. erdosproblems.com/950, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #950, https://www.erdosproblems.com/950.

Formalization. Statement in formal-conjectures.

Progress

Not yet compiled.

Known Results

Not yet compiled.