Erdős problem 304 · problems.science

Is it true that $N(b) \ll \log \log b$ ?

Sources

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

16 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

304.lean

Retained formal statement15 of 16

FormalConjectures/ErdosProblems/304.leanErdos304.zero_mem_unitFractionExpressible_iff1 lineExact file

1∀ {a b : ℕ}, 0 ∈ Erdos304.unitFractionExpressible a b ↔ a = 0 ∨ b = 0

APIStatement only, no proof