Write for the Chebyshev theta function and for the Second Chebyshev function, where is the Von Mangoldt function. We first establish the Chebyshev estimate. Every prime divides the central binomial coefficient , so
Apply this at successive powers of two and use monotonicity to obtain . Since
the terms contribute and therefore . This Chebyshev estimate from central binomial coefficients is all the information about the distribution of primes needed here.
The Von Mangoldt divisor identity gives the factorial proof of Mertens first theorem. With , interchange the finite sums to obtain
Comparison of with gives . Dividing the preceding identity by , using and the Chebyshev estimate, gives
The contribution of higher prime powers is bounded independently of , because
Thus the Mertens first theorem is
For the square-root logarithmic sum over primes, apply partial summation to with weight . The lower endpoint is understood as , so
The main terms are and . The bounded error in produces a bounded integral, since . Therefore
Neither argument uses the Prime number theorem.