Costante Erdös-Borwein
Da Wikipedia, l'enciclopedia libera.
Questa voce è solo un abbozzo (stub). Se puoi, contribuisci adesso a migliorarla secondo le convenzioni di Wikipedia. Per l'elenco completo degli stub di matematica, vedi la relativa categoria.
La costante di Erdős-Borwein EB è la somma dei reciproci dei numeri di Mersenne. Prende il nome da Paul Erdős e da Peter Borwein.
Per definizione è:
Si dimostra che le forme seguenti sono equivalenti alla precedente:
dove σ0(n) = d(n) è la funzione divisore di parametro 0, che ha lo scopo di contare il numero di divisori del numero n. Per provare l'equivalenza di queste somme si sfrutta il fatto che hanno tutte la forma di una serie di Lambert.
Erdős nel 1948 ha dimostrato che la costante EB è un numero irrazionale.