Chebyshev bound $\sum_{n \le x} \Lambda(n)/\sqrt{n} \le (2\log 4 + 16)\sqrt{x}$ for all $x \ge 1$

Initializing...

Chebyshev bound $\sum_{n \le x} \Lambda(n)/\sqrt{n} \le (2\log 4 + 16)\sqrt{x}$ for all $x \ge 1$ · Prove2Me