Skip to content

Erdős problem 50

Schoenberg [Sch38] proved that the asymptotic distribution function of φ(n)/n\varphi(n)/n exists. That is, for any c[0,1]c \in [0, 1], the proportion of integers nNn \le N satisfying φ(n)/n<c\varphi(n)/n < c approaches a limit as NN \to \infty. This limit function is the cumulative distribution function of the values of φ(n)/n\varphi(n)/n.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/50.lean

Formal Conjectures

FormalConjectures/ErdosProblems/50.leanErdos50.erdos_502 linesExact file
sorry  ∀ (f : ℝ → ℝ), Erdos50.IsDistributionOfPhiRatio f → ¬∃ xSet.Icc 0 1, ∃ y > 0, HasDerivWithinAt f y (Set.Icc 0 1) x
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page