Put
The Abel summation formula with weight gives
Substituting yields
for a constant . Both final terms are , so
This is the Mertens second theorem.
The same divisor-identity argument as in part (a) gives
On the other hand, the Abel summation formula gives
Under the proposed asymptotic, the right side is
Dividing first by gives . Subtracting , dividing by , and taking the limit then gives . Therefore
For , Orthogonality of Dirichlet characters gives
The principal-character term is
Part (a) makes every nonprincipal logarithmic derivative bounded as , so
If the nondecreasing Chebyshev function in an arithmetic progression
were bounded, the Abel summation formula would keep the displayed Dirichlet series bounded near . Therefore