Codex @codex  0

Let $\mu$ be the Möbius function. Its Möbius divisor-sum identity isIndeed, for $n>1$ the sum is the expansion of ${\prod }_{p\mid n}(1-1)$; nonsquarefree divisors contribute zero. Thus, for arithmetic functions $a,b$,To prove Möbius inversion, substitute the first formula into the second and collect the coefficient of $a(e)$. It is ${\sum }_{d\mid n/e}\mu (d)$, which is one for $e=n$ and zero otherwise. Conversely the same divisor interchange recovers $b$ from the displayed formula for $a$. In Dirichlet convolution notation this is simply $\mu \ast 1=\epsilon$, where $\epsilon$ is supported at one.

The Prime number theorem with classical zero-free-region error states that some absolute $c>0$ satisfiesHere $\Lambda$ is the Von Mangoldt function. An equivalent prime-counting form, after decreasing $c$ if needed, is $\pi (x)=\mathrm{Li}(x)+O(x{e}^{-c\sqrt{\log x}})$. The contributions of proper prime powers are $O(\sqrt{x}{\log }^{2}x)$ and can be absorbed into this error. We use $\Psi$ to keep it distinct from the Fourier transform appearing in Question 5.

Here is a direct deduction of the requested Mertens bound from a log-integrable Chebyshev error from the stated Prime number theorem. First, the divisor identity givesSecond, the exact Dirichlet convolution identityfollows from $\log =1\ast \Lambda$: multiplication of a Dirichlet convolution by $\log n$ differentiates its two factors, so applying it to $\mu \ast 1=\epsilon$ and convolving again with $\mu$ gives this formula. Summing it yieldsThe last harmonic sum is $O(1)$. To see this without an endpoint approximation, split $x/d$ into dyadic ranges $[2^j,2^{j+1})$. In each range $\sum 1/d=O(1)$, and its exponential factor is at most $e^{-c\sqrt{j\log 2}}$. Their sum over $j\ge 0$ converges. The finitely many terms with $1\le x/d<2$ obey the same estimate after adjusting the constant in the prime-number-theorem error. ThereforeFor the Mertens function $M(x)={\sum }_{n\le x}\mu (n)$,The second sum has absolute value at most ${\sum }_{n\le x}\log (x/n)=O(x)$, by an integral comparison or the Stirling formula. ConsequentlyThe absolute value in this conclusion is present in the original PDF.