Skip to content

Erdős problem 1203

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

Sources

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

2 retained statements2415f78e850a

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

Search problems.science

Find a Problem, Result, source, or page