Let . The basic Von Mangoldt divisor identity is
because if , the right-hand side is . In terms of Dirichlet convolution, this says . Since the Möbius function is the convolution inverse of , convolving with gives . Consequently
The Von Mangoldt function is nonnegative and satisfies . Using the Von Mangoldt divisor identity,
For , a comparison with an improper integral gives