Erdős problem 30 · problems.science

Is it true that, for every $\varepsilon > 0$ , h(N) $= \sqrt N + O_{\varespilon}(N^\varespilon$ )

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

30.lean

Retained formal statement1 of 1

Is it true that, for every $\varepsilon > 0$ , h(N) $= \sqrt N + O_{\varespilon}(N^\varespilon$ )

FormalConjectures/ErdosProblems/30.leanErdos30.erdos_301 lineExact file

1True ↔ ∀ ε > 0, (fun N => ↑(Erdos30.h N) - √↑N) =O[Filter.atTop] fun N => ↑N ^ ε

OpenStatement only, no proof