Erdős problem 30 · problems.science

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

No current result

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

FormalConjectures/ErdosProblems/30.lean

Formal Conjectures

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