Erdős problem 456 · problems.science

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

Sources

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

7 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

456.lean

Retained formal statement4 of 7

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

FormalConjectures/ErdosProblems/456.leanErdos456.erdos_456.variants.infinitely_many_n1 lineExact file

1{n | Erdos456.m n < Erdos456.p n}.Infinite

SolvedStatement only, no proof