Erdős problem 18 · problems.science

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/18.lean

Formal Conjectures

FormalConjectures/ErdosProblems/18.leanErdos18.erdos_18_upper_bound1 lineExact file

1∀ᶠ (n : ℕ) in Filter.atTop, Erdos18.practicalH n.factorial < n

SolvedStatement only, no proof