Rosser–Schoenfeld: $|\vartheta(y)-y|<y/(2\log y)$ for $y\ge 563$ · Prove2Me

P

Initializing...

Rosser–Schoenfeld: $|\vartheta(y)-y|<y/(2\log y)$ for $y\ge 563$ · Prove2Me