エルデシュ・ボーウェイン定数

次の式はすべて同じ定数になることが証明されている。

${\displaystyle \mathrm {E} =\sum _{n=1}^{\infty }{\frac {1}{2^{n^{2}}}}{\frac {2^{n}+1}{2^{n}-1}}}$

${\displaystyle \mathrm {E} =\sum _{m=1}^{\infty }\sum _{n=1}^{\infty }{\frac {1}{2^{mn}}}}$

${\displaystyle \mathrm {E} =1+\sum _{n=1}^{\infty }{\frac {1}{2^{n}(2^{n}-1)}}}$

${\displaystyle \mathrm {E} =\sum _{n=1}^{\infty }{\frac {\sigma _{0}(n)}{2^{n}}}}$

ここで、σ₀(n)= d（n）は約数関数で、nの正の約数の数に等しい乗法的関数である。

これらはすべてランベルト級数の形をとるので、等価性を証明することができる[2]。

1948年にエルデシュが、この定数は無理数であることを示した。 後に、ボーウェインも別の証明を示している。

エルデシュ・ボーウェイン定数の二進法表記の仕方は効率的に計算される可能性がある。

この定数は、ヒープソートアルゴリズムの平均ケース分析に用いられる。

• http://mathworld.wolfram.com/Erdos-BorweinConstant.html