How is it proved that $\sum_{p\le x}\frac1p=\int_2^x\frac{d(\vartheta(t))}{t\log t}$?

79 Views Asked by At

Let $\vartheta(x)=\sum_{p\le x}\log p$ be the first Chebyshev function. I'm self-studying analytical number theory and I'm looking for a proof that $$\sum_{p\le x}\frac1p=\int_2^x\frac{d(\vartheta(t))}{t\log t} $$