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

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

FormalConjectures/ErdosProblems/304.leanErdos304.upper_bound1 lineExact file

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

OpenStatement only, no proof