Erdős problem 18 · problems.science

Conjecture 1. Are there infinitely many practical numbers $m$ such that $h(m) < (\log \log m)^{O(1)}$ ?

Sources

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

11 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

18.lean

Retained formal statement7 of 11

For any practical number n, h(n) ≤ number of divisors of n.

FormalConjectures/ErdosProblems/18.leanErdos18.practicalH_le_divisors1 lineExact file

1∀ (n : ℕ), n.IsPractical → Erdos18.practicalH n ≤ n.divisors.card

TestStatement only, no proof