Skip to content

Erdős problem 218

There are infinitely many indices nn such that the prime gap at nn is equal to the prime gap at n+1n+1. This is equivalent to the existence of infinitely many arithmetic progressions of length 33, see erdos_141.variants.infinite_three.

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

218.lean

Retained formal statement2 of 3

There are infinitely many indices nn such that the prime gap at nn is equal to the prime gap at n+1n+1. This is equivalent to the existence of infinitely many arithmetic progressions of length 33, see erdos_141.variants.infinite_three.

FormalConjectures/ErdosProblems/218.leanErdos218.erdos_218.variants.infinite_equal_prime_gap1 lineExact file
{n | primeGap n = primeGap (n + 1)}.Infinite
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page