Erdős problem 1057

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/1057.lean

Formal Conjectures

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