Erdős problem 961 · problems.science

It is conjectured that $f(k) \ll (\log k)^O(1)$ .

No current result

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

FormalConjectures/ErdosProblems/961.lean

Formal Conjectures

FormalConjectures/ErdosProblems/961.leanErdos961.erdos_9611 lineExact file

1True ↔ ∃ C, ∀ᶠ (k : ℕ) in Filter.atTop, ↑(Erdos961.f k) < Real.log ↑k ^ C

OpenStatement only, no proof