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. Show that for each there exists a prime of class .
∀ (r : ℕ+), ∃ p, Nat.Prime p ∧ Erdos1055.IsOfClass r pTextbookStatement only, no proof