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.

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

50.lean

Retained formal statement2 of 3

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.

FormalConjectures/ErdosProblems/50.leanErdos50.erdos_50_schoenberg1 lineExact file
f, Erdos50.IsDistributionOfPhiRatio f
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page