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 statement1 of 2

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

FormalConjectures/ErdosProblems/1203.leanErdos1203.erdos_12031 lineExact file
True ↔ Filter.Tendsto Erdos1203.F Filter.atTop Filter.atTop
OpenStatement only, no proof