Prime number asymptotic from Mertens cancellation

ID: prime-number-asymptotic-from-mertens-cancellation

Let . The Möbius divisor-sum identity and the Von Mangoldt divisor identity give and , so
Here is Dirichlet convolution. The divisor summatory asymptotic bounds the terms with in absolute value by . For , group by : the remaining sum is . First let tend to infinity, then tend to infinity. This proves the Second Chebyshev function asymptotic from cancellation of the Mertens function.

New to topics? Read the docs here!