Erdős problem 241 · problems.science

Is it true that $f(N)\sim N^{1/3}$ ?

No current result

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

FormalConjectures/ErdosProblems/241.lean

Formal Conjectures

FormalConjectures/ErdosProblems/241.leanErdos241.erdos_2411 lineExact file

1True ↔ Asymptotics.IsEquivalent Filter.atTop (fun N => ↑(Erdos241.f N 3)) fun N => ↑N ^ (1 / 3)

OpenStatement only, no proof