Erdős problem 82 · problems.science

$F(n) / \log n \to \infty as n \to \infty$

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

82.lean

Retained formal statement1 of 2

$F(n) / \log n \to \infty as n \to \infty$

FormalConjectures/ErdosProblems/82.leanErdos82.erdos_821 lineExact file

1Filter.Tendsto (fun n => ↑(Erdos82.F n) / Real.log ↑n) Filter.atTop Filter.atTop

OpenStatement only, no proof