Skip to content

Erdős problem 1073

Start work

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

Sources

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

1073.lean

Retained formal statement1 of 1

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

FormalConjectures/ErdosProblems/1073.leanErdos1073.erdos_10731 lineExact file
True ↔ ∃ o, o =o[Filter.atTop] 1 ∧ ∀ (x : ℕ), Erdos1073.A x ≤ ↑x ^ o x
OpenStatement only, no proof