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.

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1055.lean

Retained formal statement4 of 4

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.

FormalConjectures/ErdosProblems/1055.leanErdos1055.exists_p1 lineExact file
∀ (r : ℕ+), ∃ p, Nat.Prime pErdos1055.IsOfClass r p
TextbookStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page