Théorème de Mertens

Un ensemble de résultats asymptotiques classiques décrivant la croissance moyenne de certaines fonctions sommatoires multiplicatives : notamment la formule du produit product_{p ≤ x}(1 - 1/p) ~ e^{-γ}/log x et des asymptotiques logarithmiques liées aux réciproques des premiers ; il convient de distinguer ces énoncés démontrés des conjectures historiques concernant la fonction sommatoire de Möbius.