Erdős problem 821 · problems.science

Is it true that, for every $\epsilon>0$ , there exist infinitely many $n$ such that $g(n) > n^{1-\epsilon}$ ?

No current result

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

FormalConjectures/ErdosProblems/821.lean

Formal Conjectures

FormalConjectures/ErdosProblems/821.leanErdos821.erdos_8211 lineExact file

1True ↔ ∀ ε > 0, {n | ↑(Erdos821.g n) > ↑n ^ (1 - ε)}.Infinite

OpenStatement only, no proof