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 .
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/1055.lean∀ (r : ℕ+), {p | Nat.Prime p ∧ Erdos1055.IsOfClass r p}.InfiniteOpenStatement only, no proof