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

In 1950, Erdős [Er50c] proved the lower bound $\log \log b \ll N(b)$ . [Er50c] Erdős, P., Az ${1}/{x_1} + {1}/{x_2} + \ldots + {1}/{x_n} =A/B$ egyenlet egÉsz szÁmú megoldÁsairól. Mat. Lapok (1950), 192-210.

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

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

SolvedStatement only, no proof

Sources

Search problems.science