Erdős problem 170 · problems.science

The problem is to determine the limit of the sequence $\frac{F(N)}{\sqrt{N}}$ as $N \to \infty$ .

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

170.lean

Retained formal statement1 of 3

The problem is to determine the limit of the sequence $\frac{F(N)}{\sqrt{N}}$ as $N \to \infty$ .

FormalConjectures/ErdosProblems/170.leanErdos170.erdos1701 lineExact file

1Filter.Tendsto (fun N => ↑(Erdos170.F N) / √↑N) Filter.atTop (nhds sorry)

OpenStatement only, no proof