The On-Line Encyclopedia of Integer Sequences (OEIS)

The OEIS is supported by the many generous donors to the OEIS Foundation.

Revision History for A258715

(Bold, blue-underlined text is an addition; faded, red-underlined text is a ~~deletion~~.)
Showing entries 1-10 | older changes

A258715

Decimal expansion of 2*Sum_{k>=0} 1/Product_{i=0..k} (2^(2^i) - 1).
(history; published version)

#14 by Michel Marcus at Mon Feb 19 02:08:47 EST 2024

STATUS

reviewed

approved

#13 by Joerg Arndt at Mon Feb 19 02:02:30 EST 2024

STATUS

proposed

reviewed

#12 by Amiram Eldar at Mon Feb 19 01:37:04 EST 2024

STATUS

editing

proposed

#11 by Amiram Eldar at Mon Feb 19 00:26:14 EST 2024

FORMULA

From Amiram Eldar, Feb 19 2024: (Start)

Equals 2 * A258714.

Equals 2/A215016 - 3. (End)

MATHEMATICA

RealDigits[2/NProduct[1 - 1/2^(2^k), {k, 0, Infinity}, WorkingPrecision -> 120] - 3][[1]] (* Amiram Eldar, Feb 19 2024 *)

PROG

(PARI) 2/prodinf(k = 0, 1 - 1/2^(2^k)) - 3 \\ Amiram Eldar, Feb 19 2024

CROSSREFS

Cf. A215016, A258714, A258716.

STATUS

approved

editing

#10 by Susanna Cuyler at Fri Oct 13 21:39:33 EDT 2017

STATUS

proposed

approved

#9 by Jon E. Schoenfield at Fri Oct 13 18:22:39 EDT 2017

STATUS

editing

proposed

#8 by Jon E. Schoenfield at Fri Oct 13 18:22:37 EDT 2017

NAME

Decimal expansion of 2*Sum_{k>=0} 1/Prod_Product_{i=0..k} (2^(2^i) - 1).

STATUS

approved

editing

#7 by N. J. A. Sloane at Mon Jun 15 20:39:43 EDT 2015

STATUS

editing

approved

#6 by N. J. A. Sloane at Mon Jun 15 20:39:41 EDT 2015

EXAMPLE

12.35564270285481672333326271459073955233988293859948777112854057096334466665254291814791046797658771989754...

STATUS

approved

editing

#5 by N. J. A. Sloane at Mon Jun 15 20:38:43 EDT 2015

STATUS

editing

approved