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 statement6 of 7

Pomerance [Po89] gave a heuristic suggesting that this is the true order of growth, and in fact $C(x)= x \exp\left(-(1+o(1))\frac{\log x\log\log\log x}{\log\log x}\right)$ .

FormalConjectures/ErdosProblems/1057.leanErdos1057.erdos_1057.variants.pomerance6 linesExact file

1True ↔2  Filter.Tendsto3    (fun x =>4      -(Real.log (Erdos1057.carmichaelCounting x / x) * Real.log (Real.log x)) /5        (Real.log x * Real.log (Real.log (Real.log x))))6    Filter.atTop (nhds 1)

OpenStatement only, no proof

Sources

Search problems.science