Skip to content

Erdős problem 304

Is it true that N(b)≪log⁡log⁡bN(b) \ll \log \log b?

Sources

Browse retained paths and inspect the exact material available for this Problem.

16 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

304.lean

Retained formal statement3 of 16
FormalConjectures/ErdosProblems/304.leanErdos304.eq_inv_of_one_mem_unitFractionExpressible1 lineExact file
∀ {a b : ℕ}, 1 ∈ Erdos304.unitFractionExpressible a b → ∃ m, 1 < m ∧ ↑a / ↑b = (↑m)⁻¹
APIStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page