## [Teorema de Mertens](/es/node/61284) Definición 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 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 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 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 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 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 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 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 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.