Erdős problem 1055
A prime is in class if the only prime divisors of are or . In general, a prime is in class if every prime factor of is in some class , with equality for at least one prime factor. Show that for each there exists a prime of class .
Sources
FormalConjectures/ErdosProblems/
1055.lean
Retained formal statement
A prime is in class if the only prime divisors of are or . In general, a prime is in class if every prime factor of is in some class , with equality for at least one prime factor. Are there infinitely many primes in each class?
∀ (r : ℕ+), {p | Nat.Prime p ∧ Erdos1055.IsOfClass r p}.InfiniteOpenStatement only, no proof