Factorial proof of Mertens first theorem
ID: factorial-proof-of-mertens-first-theorem
The prime factorization of gives . The Chebyshev estimate bounds the error on replacing each floor by its argument by . Dividing by and using the Stirling formula gives . The contribution of is bounded by the convergent series . This proves the Mertens first theorem without the Prime number theorem.
New to topics? Read the docs here!