Skip to content

Erdős problem 1055

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. Show that for each rr there exists a prime pp of class rr.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1055.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1055.leanErdos1055.erdos_10551 lineExact file
∀ (r : ℕ+), {p | Nat.Prime pErdos1055.IsOfClass r p}.Infinite
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page