Skip to content

Erdős problem 821

Start work

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

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

821.lean

Retained formal statement1 of 4

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

FormalConjectures/ErdosProblems/821.leanErdos821.erdos_8211 lineExact file
True ↔ ∀ ε > 0, {n | ↑(Erdos821.g n) > ↑n ^ (1 - ε)}.Infinite
OpenStatement only, no proof