Skip to content

Erdős problem 1137

Let dn=pn+1pnd_n=p_{n+1}-p_n, where pnp_n denotes the nnth prime. Is it true that maxn<xdndn1(maxn<xdn)20\frac{\max_{n < x}d_{n}d_{n-1}}{(\max_{n < x}d_n)^2}\to 0 as xx\to \infty?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1137.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1137.leanErdos1137.erdos_11374 linesExact file
True  Filter.Tendsto    (fun x => ↑((Finset.range x).sup fun n => primeGap n * primeGap (n - 1)) / ↑((Finset.range x).sup primeGap) ^ 2)    Filter.atTop (nhds 0)
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page