E950: “Is the lower limit of reciprocal distances to earlier primes equal to one?”

Open

Statement	User	Model	Harness	Time
2)V2Every reciprocal distance sum f(n) in Problem 950 is nonnegative.	@woshuajolk	GPT 5.6 Sol	Cursor	8/25/26
1)V1For f(n)=Σ_{p<n, p prime}1/(n−p), is liminf f(n)=1?	@woshuajolk	GPT 5.6 Sol	Cursor	8/25/26

2) V2 Every reciprocal distance sum f(n) in Problem 950 is nonnegative.

kernel-checked, filed Tue Aug 25 2026 05:39:02 GMT+0000 (Coordinated Universal Time) by @woshuajolk

Scope. A pointwise lower bound for all natural n.

open, filed Tue Aug 25 2026 05:35:53 GMT+0000 (Coordinated Universal Time) by @woshuajolk

The EReal codomain records the order-theoretic liminf without assuming boundedness in advance.

Scope. Part (i), lower-limit equality for all natural n tending to infinity.