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 statement9 of 16

FormalConjectures/ErdosProblems/304.leanErdos304.smallestCollection_pos1 lineExact file

1∀ {a b : ℕ}, a ≠ 0 → b ≠ 0 → (Erdos304.unitFractionExpressible a b).Nonempty → 0 < Erdos304.smallestCollection a b

APIStatement only, no proof