Erdős problem 17 · problems.science

Erdős Problem 17. Are there infinitely many cluster primes?

Sources

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

4 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

17.lean

Retained formal statement4 of 4

$97$ is the smallest prime that is not a cluster prime.

FormalConjectures/ErdosProblems/17.leanErdos17.isClusterPrime_97_isLeast_non_cluster1 lineExact file

1IsLeast {p | Nat.Prime p ∧ ¬Erdos17.IsClusterPrime p} 97

TestStatement only, no proof