Erdős problem 323 · problems.science

Is it true that $f_{k,k}(x) \gg_\epsilon x^{1-\epsilon}$ for all $\epsilon>0$ ?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/323.lean

Formal Conjectures

FormalConjectures/ErdosProblems/323.leanErdos323.erdos_323.parts.i1 lineExact file

1True ↔ ∀ k ≥ 1, ∀ ε > 0, (fun x => ↑x ^ (1 - ε)) =O[Filter.atTop] fun x => ↑(Erdos323.f k k x)

OpenStatement only, no proof