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

Pillai proved that $\limsup g(n)=\infty$ .

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

1Filter.limsup (fun n => ↑(Erdos821.g n)) Filter.atTop = ⊤

SolvedStatement only, no proof