Skip to content

Erdős problem 688

Erdős claims in [Er80] (p. 106) that it is not difficult to prove ϵn≫log⁡log⁡log⁡nlog⁡log⁡n\epsilon_n \gg \frac{\log\log\log n}{\log\log n}.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/688.lean

Formal Conjectures

FormalConjectures/ErdosProblems/688.leanErdos688.erdos_688.parts.i.lower_bound1 lineExact file
sorry =O[Filter.atTop] Erdos688.epsilonFunction
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page