Erdős problem 241 · problems.science

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

Sources

Browse retained paths and inspect the exact material available for this Problem.

5 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

241.lean

Retained formal statement1 of 5

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

Originally asked to Erdős by Bose.

This is discussed in problem C11 of Guy's collection [Gu04].

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