Skip to content

Erdős problem 82

F(n)/log⁡n→∞asn→∞F(n) / \log n \to \infty as 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/82.lean

Formal Conjectures

FormalConjectures/ErdosProblems/82.leanErdos82.erdos_821 lineExact file
Filter.Tendsto (fun n => ↑(Erdos82.F n) / Real.log ↑n) Filter.atTop Filter.atTop
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page