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$ .

No current result

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

FormalConjectures/ErdosProblems/456.lean

Formal Conjectures

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

1True ↔ Filter.Tendsto (fun N => ↑(Nat.count {n | Erdos456.m n < Erdos456.p n} N) / ↑N) Filter.atTop (nhds 1)

OpenStatement only, no proof

Work these sources record against this Problem. Source-reported attribution, not reviewed here.