Order of Sum over Primes of Logarithm of p over p

Theorem

 * $\ds \sum_{p \le x} \frac {\log p} p = \log x + \map \OO 1$