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 statement1 of 4

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

FormalConjectures/ErdosProblems/821.leanErdos821.erdos_8211 lineExact file

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

OpenStatement only, no proof