Erdős problem 385 · problems.science

Note that trivially $F(n) \leq n + \sqrt{n}$ .

No current result

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

FormalConjectures/ErdosProblems/385.lean

Formal Conjectures

FormalConjectures/ErdosProblems/385.leanErdos385.erdos_385.parts.i1 lineExact file

1sorry ↔ ∀ᶠ (n : ℕ) in Filter.atTop, n < Erdos385.F n

OpenStatement only, no proof