Skip to content

Erdős problem 304

Is it true that N(b)≪log⁡log⁡bN(b) \ll \log \log b?

Sources

The source's own material, retained exactly.

16 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

304.lean

Retained formal statement11 of 16
FormalConjectures/ErdosProblems/304.leanErdos304.unitFractionExpressible_of_zero1 lineExact file
∀ {a b : ℕ}, a = 0 ∨ b = 0 → Erdos304.unitFractionExpressible a b = {0}
APIStatement only, no proof