Erdős problem 1073 · problems.science

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

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

1073.lean

Retained formal statement1 of 1

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

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