Credited Rosser's theorem for the approximation.
Credited Rosser's Theorem for the approximation.