Begin with the Von Mangoldt divisor identity
Summing it for and reversing the order gives
The given bound and the Stirling formula therefore imply
Apply partial summation with the weight . Writing , where , gives
Indeed, the integral of converges, and its tail from to infinity is .
Grouping the left side by prime powers yields
The full double series over converges. Its tail beyond is : split at , use a geometric series for , and compare with the corresponding sum over integers. Absorbing its limit into the constant proves the Mertens theorem for reciprocal primes