Skip to content

Erdős problem 218

Start work

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

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

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