Erdős problem 323

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

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

323.lean

Retained formal statement4 of 4

For $k>2$ it is not known if $f_{k,k}(x)=o(x)$ .

FormalConjectures/ErdosProblems/323.leanErdos323.erdos_323.variants.k_gt_21 lineExact file

1True ↔ ∀ k > 2, (fun x => ↑(Erdos323.f k k x)) =o[Filter.atTop] fun x => ↑x

OpenStatement only, no proof