Erdős problem 1073 · problems.science

Is it true that $A(x) \le x^{o(1)}$ ?

No current result

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

FormalConjectures/ErdosProblems/1073.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1073.leanErdos1073.erdos_10731 lineExact file

1True ↔ ∃ o, o =o[Filter.atTop] 1 ∧ ∀ (x : ℕ), Erdos1073.A x ≤ ↑x ^ o x

OpenStatement only, no proof