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

Alford, Granville, and Pomerance [AGP94] proved that $C(x)>x^{2/7}$ for large $x$ .

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

1∀ᶠ (x : ℝ) in Filter.atTop, Erdos1057.carmichaelCounting x > x ^ (2 / 7)

SolvedStatement only, no proof