Un conjunto de resultados asintóticos clásicos que describen el crecimiento medio de ciertas funciones sumatorias multiplicativas: en particular la identidad de producto product_{p ≤ x}(1 - 1/p) ~ e^{-γ}/log x y asintóticos logarítmicos relacionados para los recíprocos de primos; las conjeturas históricas sobre la función sumatoria de Möbius deben distinguirse de estos enunciados probados.

Principio

Los productos de Euler y las sumas de tipo armónico sobre primos producen términos logarítmicos y constantes (que involucran la constante de Euler γ) cuando se truncan, de modo que aparecen factores de normalización multiplicativos como constantes explícitas en las fórmulas asintóticas.

Demostración

La fórmula de producto de Mertens afirma que el producto finito sobre primos hasta x de (1 - 1/p) se comporta asintóticamente como e^{-γ}/log x; de forma equivalente, ciertas sumas logarítmicas sobre primos crecen como log log x más una constante.

Aplicación incorrecta

Tratar la conjetura histórica de Mertens sobre la función sumatoria de Möbius (|M(x)| ≤ √x para x grandes) como verdadera, o extender los asintóticos del producto para afirmar cotas de error uniformes sin justificación analítica, es un uso indebido.

Consecuencia

Estos asintóticos proporcionan normalizaciones estándar para productos de Euler, nutren estimaciones en teoría del cribado y teoría analítica de números, y aclaran el papel de la constante de Euler en los asintóticos de sumas sobre primos.

Inversión

En vez de usar asintóticos de sumas de primos para normalizar productos, se puede suponer la forma de los productos para deducir información sobre la distribución de primos o reconstruir términos constantes; ese enfoque exige verificación independiente de los términos de error.

Límite

Las afirmaciones son asintóticas cuando x→∞ y se refieren a sumas y productos sobre primos o funciones multiplicativas; no implican cotas puntuales fuertes para la función sumatoria de Möbius ni resuelven por sí solas hipótesis más profundas como la hipótesis de Riemann.

Tensión semántica

A menudo se confunden los asintóticos de tipo Mertens probados (productos y sumas logarítmicas) con la conjetura refutada de Mertens sobre la función de Möbius; la tensión está entre fórmulas límite incondicionales y desigualdades puntuales conjeturales.

Síntesis

Los resultados de Mertens resumen cómo los productos de Euler truncados y las sumas armónicas sobre primos generan crecimiento logarítmico más constantes específicas, proporcionando normalizaciones canónicas en la teoría analítica de números y diferenciándose de conjeturas históricas más fuertes sobre Möbius.