Effective Chebyshev bound $\sum_{n\le x}\Lambda(n)/\sqrt{n}\le 3\sqrt{x}$ with explicit threshold

Initializing...

Effective Chebyshev bound $\sum_{n\le x}\Lambda(n)/\sqrt{n}\le 3\sqrt{x}$ with explicit threshold · Prove2Me