On désigne par P l’ensemble des nombres premiers.
On désigne par Pn l’ensemble des nombres premiers inférieurs ou égaux à n.
On désigne par γ la constante d’Euler-Mascheroni définie par k=1∑+∞(k1−ln(1+k1)).
Pour x∈[1;+∞[, on définit g(x)=p∈P∑(−ln(1−px1)−px1)
Montrez que g(1) est défini.
A partir de cette expression de g(x), retrouvez ces deux fameux théorèmes de Mertens :
n→+∞limp∈Pn∑p1−ln(ln(n)=γ−g(1)
et
n→+∞limln(n)p∈Pn∏(1−p1)=e−γ