Answers are grounded in this paper and cite their sources.
Mathematical analysis establishes an unconditional prime-gap bound of at most 216 infinitely often, narrowing limits on consecutive prime spacing.
Let H_1 = liminfn→∞(pₙ₊₁ − p_n). This preprint develops a prescribed-factor equidistribution theorem and combines it with a certified Maynard sieve weight to derive the bound H_1 ≤ 216. The analytic component treats Type-I convolutions in arithmetic progressions to squarefree moduli possessing an explicit chain of divisors in prescribed scale windows. The finite component uses a layered support region and a 208-parameter rational test function for k = 46, certified by rational support arithmetic and 1024-bit outward-rounded Arb integration. The deposit includes the manuscript, LaTeX source, finite certificates, hashes, and verification programs.
No takes yet. Share an insight, caveat, or question.
Jingwei Liu (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: