Skip to content

Erdős problem 1203

Start work

Prove that F(n)→∞F(n)\to \infty as n→∞n\to \infty.

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

1203.lean

Retained formal statement2 of 2

It is easy to prove that F(n)≥1−o(1)F(n)\geq 1-o(1).

FormalConjectures/ErdosProblems/1203.leanErdos1203.erdos_1203.variants.lower_bound1 lineExact file
∀ ε > 0, ∀ᶠ (n : ℕ) in Filter.atTop, Erdos1203.F n ≥ 1 - ε
SolvedStatement only, no proof