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}$ ?

Sources

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

4 retained statements2415f78e850a

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