For ,
The Orthogonality of Dirichlet characters expresses it in terms of character-twisted Von Mangoldt functions.
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