Skip to content

Erdős problem 85

Start work

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

Sources

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

85.lean

Retained formal statement1 of 1

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

FormalConjectures/ErdosProblems/85.leanErdos85.erdos_851 lineExact file
True ↔ ∀ᶠ (n : ℕ) in Filter.atTop, Erdos85.f n ≤ Erdos85.f (n + 1)
OpenStatement only, no proof