login
Decimal expansion of the product of 1 - 1/2^2^n over all n >= 0.
9

%I #45 Feb 19 2024 02:07:53

%S 3,5,0,1,8,3,8,6,5,4,3,9,5,6,9,6,0,8,8,6,6,5,5,4,5,2,6,9,6,6,1,7,8,8,

%T 6,7,6,4,2,0,8,6,5,0,2,1,7,6,9,2,1,7,6,9,7,0,6,4,8,2,3,3,8,6,0,4,8,2,

%U 5,6,3,0,5,3,6,8,6,9,6,4,4,1

%N Decimal expansion of the product of 1 - 1/2^2^n over all n >= 0.

%C Can be used to efficiently compute A014571: A014571 = 1/2 - (1/4) * A215016.

%H Joerg Arndt, <a href="http://www.jjj.de/fxt/#fxtbook">Matters Computational (The Fxtbook)</a>, p.727 (rel. 38.1-5).

%H R. Schroeppel and R. W. Gosper, <a href="http://www.inwap.com/pdp10/hbaker/hakmem/series.html#item122">HACKMEM #122</a> (1972).

%F Equals Sum_{n>=0} A106400(n)/2^n. - _Robert FERREOL_, Jan 10 2022

%F From _Amiram Eldar_, Feb 19 2024: (Start)

%F Equals Product_{n>=0} (1 - 1/A001146(n)).

%F Equals 2/A258716.

%F Equals 1/(3/2 + A258714). (End)

%e 0.35018386543956960886655452696617886764208650217692176970648233860482563...

%t RealDigits[NProduct[1 - 1/2^2^n, {n, 0, Infinity}, WorkingPrecision -> 120]][[1]] (* _Alonso del Arte_, Jul 31 2012 *)

%o (PARI) prodinf(n=0,1-1.>>2^n)

%Y Cf. A001146, A014571, A106400, A258714, A258716.

%K nonn,cons

%O 0,1

%A _Charles R Greathouse IV_, Jul 31 2012