Poussin proof
In number theory, a branch of mathematics, the Poussin proof is the proof of an identity related to the fractional part of a ratio. In 1838, Peter Gustav Lejeune Dirichlet proved an approximate formula for the average number of divisors of all the numbers from 1 to n: ∑ k = 1 n d ( k ) n ≈ ln n + 2 γ − 1 , {\displaystyle {\frac {\sum _{k=1}^{n}d(k)}{n}}\approx \ln n+2\gamma -1,} where d represents the divisor function, and γ represents the Euler-Mascheroni constant.