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!