Erdős problem 821

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

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

821.lean

Retained formal statement2 of 4

Erdős [Er35b] proved that there exists some constant $c>0$ such that $g(n) > n^c$ for infinitely many $n$ .

FormalConjectures/ErdosProblems/821.leanErdos821.erdos_821.variants.erdos1 lineExact file

1∃ c > 0, {n | ↑n ^ c < ↑(Erdos821.g n)}.Infinite

SolvedStatement only, no proof