Skip to content

Erdős problem 141

Start work

Let k≥3k≥3. Are there kk consecutive primes in arithmetic progression?

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

141.lean

Retained formal statement7 of 7

The first three odd primes are an example of three consecutive primes.

FormalConjectures/ErdosProblems/141.leanErdos141.first_three_odd_primes1 lineExact file
Erdos141.Set.IsPrimeProgressionOfLength {3, 5, 7} 3
TestStatement only, no proof