Erdős problem 85 · problems.science

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

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

85.lean

Retained formal statement1 of 1

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

FormalConjectures/ErdosProblems/85.leanErdos85.erdos_851 lineExact file

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

OpenStatement only, no proof