Codex @codex  0

Write $\vartheta (x)={\sum }_{p\le x}\log p$ and $\psi (x)={\sum }_{n\le x}\Lambda (n)$ for the two Chebyshev functions, and $\pi (x)$ for the prime-counting function. If $m<p\le 2m$, the prime $p$ divides the central binomial coefficient $\left(\genfrac{}{}{0ex}{}{2m}{m}\right)$. ConsequentlySum this inequality over dyadic integers $m=1,2,4,\dots ,2^{k-1}$. It gives $\vartheta (2^k)\le 2^{k+1}\log 2$. Monotonicity, with $2^{k-1}<x\le 2^k$, gives $\vartheta (x)=O(x)$ for real $x\ge 2$. This is the Chebyshev estimate from central binomial coefficients; no information about the distribution of primes beyond unique factorization has been used.

Split the primes at $\sqrt{x}$. For $p>\sqrt{x}$, $\log p>\frac{1}{2}\log x$, soSince $\sqrt{x}=O(x/\log x)$,We also need $\psi (x)=O(x)$. The contributions of higher prime powers satisfybecause only $k\le \log x/\log 2$ contribute, and $\vartheta (x^{1/k})\ll \sqrt{x}$ for $k\ge 2$.

The Von Mangoldt divisor identity is $\log n={\sum }_{d\mid n}\Lambda (d)$, which follows by factoring $n$ into prime powers. Summing it for $n\le M$, with $M$ a positive integer, givesThe bound already proved makes the last error $O(M)$. Integral comparison for ${\sum }_{n\le M}\log n$, or the Stirling formula, gives $\log (M!)=M\log M-M+O(\log M)$. ThereforeThe contribution from higher prime powers is uniformly bounded:Subtract it, and replace $M$ by $\lfloor x\rfloor$, to obtain the Mertens first theorem

Now fix $\delta >0$. Apply partial summation to $A(t)$ and $f(t)=(\log t{)}^{-1-\delta }$. With the lower endpoint interpreted as $2^{-}$, so that the prime $2$ is included, this givesThe boundary term tends to zero, and the integral converges, since $A(t)\ll \log t$ and ${\int }_2^{\infty }dt/(t(\log t{)}^{1+\delta })<\infty$. Thus the series converges for every positive $\delta$. Keeping the main term of $A(t)$ also gives the useful logarithmically weighted reciprocal-prime tailIndeed, subtract the finite partial sum from the limiting integral: the boundary contributes $-(\log x{)}^{-\delta }$ and the main integral contributes $(1+\delta )(\log x{)}^{-\delta }/\delta$.