P
Initializing...
Chebyshev-type bound $\sum_{n\le x}\Lambda(n)/(\sqrt{n}\log n)\le C\sqrt{x}/\log x$ · Prove2Me