Mathematician:J. Perrot

From ProofWiki
Jump to navigation Jump to search

Mathematician

$\ds\lim_{n \mathop \to \infty} \dfrac {\map \Phi n} {n^2} = \dfrac 3 {\pi^2}$

where:

$\map \Phi n = \ds \sum_{k \mathop = 1}^n \map \phi k$
$\map \phi k$ is the Euler $\phi$ function of $k$.


Author of: