Erdős problem 1074
Similarly, if is the set of all primes such that there exists an with such that , then does exist?
Sources
FormalConjectures/ErdosProblems/
1074.lean
Retained formal statement
The sequence begins
Nat.nth Erdos1074.EHSNumbers '' Set.Icc 0 6 = {8, 9, 13, 14, 15, 16, 17}TestStatement only, no proof