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 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