Theorem of Mertens

One usually indicates under the name of first theorem of Mertens the following estimate, where, by convention, a nap (or a produced) subscripted by p indicates a sum (or a product) carrying only on the prime numbers. For all real x \ geq 2, one a:

\ sum_ {p \ Leq X} \ frac {\ ln p} {p} = \ ln X + O (1).

The demonstration uses the Formule of Legendre on the p-adic valuations of n! .

The Second theorem of Mertens , as called formula of Mertens , stipulates as, for any reality x \ geq 2, one a:

\ prod_ {p \ Leq X} \ left (1 - \ frac {1} {p} \ right) = \ frac {e^ {- \ gamma}} {\ ln X} \ left (1 + O \ left (\ frac {1} {\ ln X} \ right) \ right),

where \ gamma \ approx 0,577 215.664… is the Constante of Euler-Mascheroni.

Random links:Andrea del Verrocchio | International day of the Women | Tragopan de Blyth | DVD | Castles Augustusburg and Falkenlust | État_de_Bombay