Erdős problem 304

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

No current result

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

FormalConjectures/ErdosProblems/304.lean

Formal Conjectures

FormalConjectures/ErdosProblems/304.leanErdos304.dvd_of_one_mem_unitFractionExpressible1 lineExact file

1∀ {a b : ℕ}, 1 ∈ Erdos304.unitFractionExpressible a b → a ∣ b

APIStatement only, no proof