Erdős problem 1062 · problems.science

Erdős asked whether the limiting density f n / n exists and, if so, whether it is irrational.

No current result

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

FormalConjectures/ErdosProblems/1062.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1062.leanErdos1062.erdos_1062.parts.ii1 lineExact file

1(∃ l, Filter.Tendsto (fun n => ↑(Erdos1062.f n) / ↑n) Filter.atTop (nhds l) ∧ Irrational l) ↔ True

OpenStatement only, no proof

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