Erdős problem 1209
Let be a sequence of integers which tends to infinity sufficiently fast. If there is an such that all are primes then must there exist infinitely many such ?
Sources
FormalConjectures/ErdosProblems/
1209.lean
Retained formal statement
Are there such that is always squarefree?
True ↔ ∃ n, ∀ (k : ℕ), Squarefree (n + 2 ^ 2 ^ k)OpenStatement only, no proof