Erdős–Borwein constant
From Wikipedia, the free encyclopedia
The Erdős–Borwein constant is the sum of the reciprocals of the Mersenne numbers. It is named after Paul Erdős and Peter Borwein.
By definition it is:
It can be proven that the following forms are equivalent to the former:
where σ0(n) = d(n) is the divisor function, a multiplicative function that equals the number of positive divisors of the number n. To prove the equivalence of these sums, note that they all take the form of Lambert series and can thus be resummed as such.
Erdős in 1948 showed that the constant E is an irrational number.
