Prime reciprocal lower bound

ID: prime-reciprocal-lower-bound

For , the harmonic number exceeds . The finite Euler product over the primes at most contains every summand of this harmonic number. Taking logarithms and applying the geometric-series bound for the logarithmic remainder bounds the total remainder by , proving the displayed bound.

New to topics? Read the docs here!