Rosser–Schoenfeld upper bound $\vartheta(y) < y + y/(2\log y)$ for $y \ge 563$ · Prove2Me

P

Initializing...

Rosser–Schoenfeld upper bound $\vartheta(y) < y + y/(2\log y)$ for $y \ge 563$ · Prove2Me