La costante di Brun

Non è al momento noto se esistano infinite coppie di primi gemelli. Tuttavia, nel 1919, Viggo Brun dimostrò [1] il seguente

Teorema. La serie dei reciproci dei primi gemelli $$(1/3+1/5)+(1/5+1/7)+(1/11+1/13)+ \ldots \quad  (*) $$ è convergente (o finita).

(Si ricordi che invece, per un ben noto risultato di Eulero, la serie dei reciproci di tutti i primi è divergente).

La somma della serie $(*)$, detta costante di Brun, si indica il genere con $B_2$. Tale serie converge molto lentamente: dopo aver sommato un miliardo di termini, si stima che vi sia ancora un errore relativo del $5$%. Se si usano $10^{16}$ coppie di primi gemelli, il valore della somma è circa $1.902160583104$.

Si sa dimostrare incondizionatamente (cioè, senza utilizzare l'Ipotesi di Riemann) che $B_2< 2.347$; assumendo tale ipotesi, si ha la stima migliore $B_2< 2.1754$, vedi [2].

Non è noto al momento se $B_2$ sia o meno irrazionale. Ovviamente, se si riuscisse a dimostrare che lo è, ciò implicherebbe che esistono infinite coppie di primi gemelli.

Riferimenti.

[1] V. Brun: La série 1/5+1/7+1/11+1/13+1/17+1/19+1/29+1/31+1/41+1/43+1/59+1/61+..., où les dénominateurs sont nombres premiers jumeaux est convergente ou finie. Bulletin des Sciences Mathématiques 43: 100–104, 124–128 (1919)

[2] https://en.wikipedia.org/wiki/Brun%27s_theorem