Logarithmically weighted reciprocal-prime tail

ID: logarithmically-weighted-reciprocal-prime-tail

For fixed , the Mertens first theorem and partial summation imply convergence of and, more precisely, the displayed tail asymptotic with error . Write and integrate against . The boundary at infinity vanishes; combining the finite boundary with the integral gives the coefficient .

New to topics? Read the docs here!