Erdős problem 1057 · problems.science

Is it true that $C(x)=x^{1-o(1)}$ ?

Sources

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

7 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

1057.lean

Retained formal statement1 of 7

Is it true that $C(x)=x^{1-o(1)}$ ?

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

FormalConjectures/ErdosProblems/1057.leanErdos1057.erdos_10571 lineExact file

1True ↔ Filter.Tendsto (fun x => Real.log (Erdos1057.carmichaelCounting x) / Real.log x) Filter.atTop (nhds 1)

OpenStatement only, no proof