Square-root logarithmic sum over primes

ID: square-root-logarithmic-sum-over-primes

Put . The Mertens first theorem gives . Partial summation yields
The main terms sum to up to a constant. The error integral is bounded because converges. Thus a prime sum with a fractional logarithmic weight follows from an elementary bounded-error estimate, without the Prime number theorem.

New to topics? Read the docs here!