Erdős problem 85 · problems.science

Is it true that, for all large $n$ , $f(n + 1) \ge f(n)$ ?

No current result

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

FormalConjectures/ErdosProblems/85.lean

Formal Conjectures

FormalConjectures/ErdosProblems/85.leanErdos85.erdos_851 lineExact file

1True ↔ ∀ᶠ (n : ℕ) in Filter.atTop, Erdos85.f n ≤ Erdos85.f (n + 1)

OpenStatement only, no proof