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.

Principle

Euler products and harmonic-type sums over primes produce logarithmic and constant terms (involving Euler's constant γ) when truncated, so multiplicative normalization factors appear as explicit constants in asymptotic formulas.

Demonstration

The Mertens product formula says that the finite product over primes up to x of (1 - 1/p) behaves asymptotically like e^{-γ}/log x; equivalently, certain logarithmic sums over primes grow like log log x plus a constant.

Misapplication

Treating the historical Mertens conjecture about the Möbius summatory function (|M(x)| ≤ √x for all large x) as true, or extending the product asymptotics to assert uniform bounds on error terms without analytic justification, is a misuse.

Consequence

These asymptotics supply standard normalizations for Euler products, inform estimates in sieve theory and analytic number theory, and clarify the role of Euler's constant in prime-sum asymptotics.

Reversal

Instead of using prime-sum asymptotics to normalize products, one may assume product forms to deduce information about distributions of primes or to reconstruct constant terms — an approach that requires independent verification of error terms.

Boundary

The statements are asymptotic as x→∞ and concern sums and products over primes or multiplicative functions; they do not imply strong pointwise bounds for the Möbius summatory function nor do they by themselves resolve deeper hypotheses like the Riemann Hypothesis.

Semantic Tension

There is frequent confusion between proven Mertens-type asymptotics (products and logarithmic sums) and the disproven Mertens conjecture about the Möbius function; the tension is between unconditional limit formulas and conjectural pointwise inequalities.

Synthesis

Mertens' results codify how truncated Euler products and prime harmonic sums produce logarithmic growth plus specific constants, providing canonical asymptotic normalizations in analytic number theory while remaining distinct from stronger, historically conjectured inequalities about the Möbius function.