|
Search: id:A048651
|
|
|
| A048651 |
|
Decimal expansion of Product_{k >= 1} (1-1/2^k). |
|
+0
37
|
|
| 2, 8, 8, 7, 8, 8, 0, 9, 5, 0, 8, 6, 6, 0, 2, 4, 2, 1, 2, 7, 8, 8, 9, 9, 7, 2, 1, 9, 2, 9, 2, 3, 0, 7, 8, 0, 0, 8, 8, 9, 1, 1, 9, 0, 4, 8, 4, 0, 6, 8, 5, 7, 8, 4, 1, 1, 4, 7, 4, 1, 0, 6, 6, 1, 8, 4, 9, 0, 2, 2, 4, 0, 9, 0, 6, 8, 4, 7, 0, 1, 2, 5, 7, 0, 2, 4, 2, 8, 4, 3, 1, 9, 3, 3, 4, 8, 0, 7, 8, 2
(list; cons; graph; listen)
|
|
|
OFFSET
|
0,1
|
|
|
COMMENT
|
This is the probability that a large random binary matrix is nonsingular (cf. A002884).
|
|
REFERENCES
|
S. R. Finch, Mathematical Constants, Cambridge, 2003, pp. 354-361.
|
|
LINKS
|
S. R. Finch, Digital Search Tree Constants
Eric Weisstein's World of Mathematics, Tree Searching
Eric Weisstein's World of Mathematics, Infinite Product
|
|
FORMULA
|
a(n)=exp(-sum{k>0, sigma_1(k)/k*2^(-k)})=exp(-sum{k>0, A000203(k)/k*2^(-k)}) - Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), Jul 28 2007
lim inf product{0<=k<=floor(log_2(n)), floor(n/2^k)*2^k/n} for n-->oo. - Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), Aug 13 2007
lim inf A098844(n)/n^(1+floor(log_2(n)))*2^(1/2*(1+floor(log_2(n)))*floor(log_2(n= ))) for n-->oo. - Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), Aug 13 2007
lim inf A098844(n)/n^(1+floor(log_2(n)))*2^A000217(floor(log_2(n)) for n-->oo. - Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), Aug 13 2007
lim inf A098844(n)/(n+1)^((1+log_2(n+1))/2) for n-->oo. - Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), Aug 13 2007
1/2*exp(-sum{n>0, 2^(-n)*sum{k|n, 1/(k*2^k))}}). - Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), Aug 13 2007
|
|
CROSSREFS
|
Cf. A002884, A005329, A048652.
Cf. A098844, A067080, A100220, A132019, A132026, A132038.
Sequence in context: A021780 A020769 A105388 this_sequence A138300 A137575 A092280
Adjacent sequences: A048648 A048649 A048650 this_sequence A048652 A048653 A048654
|
|
KEYWORD
|
nonn,cons
|
|
AUTHOR
|
njas
|
|
EXTENSIONS
|
(1/2) (3/4) (7/8) (15/16) ... = 0.288788095086602421278899721929230780088911904840685784114741...
Corrected by Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), Jul 28 2007
|
|
|
Search completed in 0.003 seconds
|
