Mertens' Theorem

A collection of classical asymptotic results describing the average growth of certain multiplicative summatory functions: notably the product identity product_{p ≤ x}(1 - 1/p) ~ e^{-γ}/log x and related logarithmic sum asymptotics for reciprocals of primes; historically associated conjectures about the Möbius summatory function must be distinguished from these proven statements.