|
|
A211706
|
|
Binary expansion of Sum_{n>=1} A006218(n)*2^(-n).
|
|
4
|
|
|
1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0
(list;
constant;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
2
|
|
COMMENTS
|
With offset 1 this is the binary expansion of the Erdős-Borwein constant (A065442). Erdős (1948) proved that this constant is irrational by showing that its binary expansion has arbitrarily long strings of zeros. - Amiram Eldar, Aug 01 2020
|
|
LINKS
|
|
|
EXAMPLE
|
11.00110110101000001011111100111100100001...
|
|
MATHEMATICA
|
f[n_, m_] := Sum[Floor[n/k], {k, 1, m}]
t = Table[f[n, 100], {n, 1, 4000}] ;
N[Sum[t[[n]]/2^n, {n, 1, 4000}], 100]
|
|
CROSSREFS
|
|
|
KEYWORD
|
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|