P
Initializing...
Rosser–Schoenfeld (1962), Theorem 4, eq. (3.14): analytic lower bound for θ · Prove2Me