P
Initializing...
Rosser–Schoenfeld (1962), Theorem 23 (4.10) upper half: $\prod_{p\le x} p/(p-1) < e^{\gamma}\log x + 2e^{\gamma}/\sqrt{x}$ for $0 < x \le 10^8$ · Prove2Me