Erdős problem 1137 · problems.science

Let $d_n=p_{n+1}-p_n$ , where $p_n$ denotes the $n$ th prime. Is it true that $\frac{\max_{n < x}d_{n}d_{n-1}}{(\max_{n < x}d_n)^2}\to 0$ as $x\to \infty$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1137.lean

Retained formal statement1 of 1

Let $d_n=p_{n+1}-p_n$ , where $p_n$ denotes the $n$ th prime. Is it true that $\frac{\max_{n < x}d_{n}d_{n-1}}{(\max_{n < x}d_n)^2}\to 0$ as $x\to \infty$ ?

FormalConjectures/ErdosProblems/1137.leanErdos1137.erdos_11374 linesExact file

1True ↔2  Filter.Tendsto3    (fun x => ↑((Finset.range x).sup fun n => primeGap n * primeGap (n - 1)) / ↑((Finset.range x).sup primeGap) ^ 2)4    Filter.atTop (nhds 0)

OpenStatement only, no proof

Sources

Search problems.science