Skip to content

Erdős problem 1203

Start work

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1203.lean

Formal Conjectures

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

Continue

Start a contributionBrowse the source filesOpen the collection entry