Skip to content

Erdős problem 241

Start work

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

Sources

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

241.lean

Retained formal statement1 of 5

Is it true that f(N)∼N1/3f(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
True ↔ Asymptotics.IsEquivalent Filter.atTop (fun N => ↑(Erdos241.f N 3)) fun N => ↑N ^ (1 / 3)
OpenStatement only, no proof