Erdős problem 6 · problems.science

There are infinitely many $n$ such that $d_n < d_{n+1} < d_{n+2}$ , where $d$ denotes the prime gap function.

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

6.lean

Retained formal statement1 of 3

There are infinitely many $n$ such that $d_n < d_{n+1} < d_{n+2}$ , where $d$ denotes the prime gap function.

FormalConjectures/ErdosProblems/6.leanErdos6.erdos_61 lineExact file

1{n | primeGap n < primeGap (n + 1) ∧ primeGap (n + 1) < primeGap (n + 2)}.Infinite

SolvedStatement only, no proof