Skip to content

Erdős problem 6

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

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/6.lean

Formal Conjectures

FormalConjectures/ErdosProblems/6.leanErdos6.erdos_61 lineExact file
{n | primeGap n < primeGap (n + 1) ∧ primeGap (n + 1) < primeGap (n + 2)}.Infinite
SolvedStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page