Skip to content

Erdős problem 170

The problem is to determine the limit of the sequence F(N)N\frac{F(N)}{\sqrt{N}} 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/170.lean

Formal Conjectures

FormalConjectures/ErdosProblems/170.leanErdos170.erdos1701 lineExact file
Filter.Tendsto (fun N => ↑(Erdos170.F N) / √↑N) Filter.atTop (nhds sorry)
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page