Erdős problem 456

Erdős [Er79e] writes it is 'easy to show' that for infinitely many $n$ we have $m_n < p_n$ .

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

456.lean

Retained formal statement3 of 7

Are there infinitely many primes $p$ such that $p-1$ is the only $n$ for which $m_n=p$ ?

FormalConjectures/ErdosProblems/456.leanErdos456.erdos_456.parts.iii1 lineExact file

1True ↔ {q | Nat.Prime q ∧ ∀ (n : ℕ), Erdos456.m n = q ↔ n = q - 1}.Infinite

OpenStatement only, no proof