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

In 1985 Vose [Vo85] proved the upper bound $N(b) \ll \sqrt{\log b}$ . [Vo85] Vose, Michael D., Egyptian fractions. Bull. London Math. Soc. (1985), 21-24.

FormalConjectures/ErdosProblems/304.leanErdos304.erdos_304.variants.upper_19851 lineExact file

1(fun b => ↑(Erdos304.smallestCollectionTo b)) =O[Filter.atTop] fun b => √(Real.log ↑b)

SolvedStatement only, no proof

Sources

Search problems.science