Erdős problem 1057

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

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

1057.lean

Retained formal statement2 of 7

Alford, Granville, and Pomerance [AGP94] proved that $C(x)\to \infty$ .

FormalConjectures/ErdosProblems/1057.leanErdos1057.erdos_1057.variants.agp_infinite1 lineExact file

1Filter.Tendsto Erdos1057.carmichaelCounting Filter.atTop Filter.atTop

SolvedStatement only, no proof