This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A258716 #17 Feb 19 2024 02:09:23
%S A258716 5,7,1,1,2,8,5,4,0,5,7,0,9,6,3,3,4,4,6,6,6,6,5,2,5,4,2,9,1,8,1,4,7,9,
%T A258716 1,0,4,6,7,9,7,6,5,8,7,7,1,9,8,9,7,5,4,5,6,9,3,7,9,5,7,1,7,0,6,7,9,5,
%U A258716 0,1,8,9,9,9,5,5,4,4,2,8
%N A258716 Decimal expansion of 3 + 2*Sum_{k>=0} 1/Product_{i=0..k} (2^(2^i) - 1).
%H A258716 Gary W. Adamson and N. J. A. Sloane, <a href="/A001317/a001317_2.pdf">Correspondence, May 1994</a>, including Adamson's MSS "Algorithm for Generating nth Row of Pascal's Triangle, mod 2, from n", and "The Tower of Hanoi Wheel". Defines this number.
%F A258716 Equals 3 + A258715.
%F A258716 From _Amiram Eldar_, Feb 19 2024: (Start)
%F A258716 Equals 2 * A258714 + 3.
%F A258716 Equals 2/A215016. (End)
%e A258716 5.7112854057096334466665254291814791046797658771989754...
%t A258716 RealDigits[2/NProduct[1 - 1/2^(2^k), {k, 0, Infinity}, WorkingPrecision -> 120]][[1]] (* _Amiram Eldar_, Feb 19 2024 *)
%o A258716 (PARI) 2/prodinf(k = 0, 1 - 1/2^(2^k)) \\ _Amiram Eldar_, Feb 19 2024
%Y A258716 Cf. A215016, A258714, A258715.
%K A258716 nonn,cons
%O A258716 1,1
%A A258716 _N. J. A. Sloane_, Jun 15 2015