Teorema de Mertens

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.