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 A065918 #48 Nov 13 2024 19:10:16
%S A065918 1,3,1,6,9,5,7,8,9,6,9,2,4,8,1,6,7,0,8,6,2,5,0,4,6,3,4,7,3,0,7,9,6,8,
%T A065918 4,4,4,0,2,6,9,8,1,9,7,1,4,6,7,5,1,6,4,7,9,7,6,8,4,7,2,2,5,6,9,2,0,4,
%U A065918 6,0,1,8,5,4,1,6,4,4,3,9,7,6,0,7,4,2,1,9,0,1,3,4,5,0,1,0,1,7,8,3,5,5
%N A065918 Decimal expansion of log(2 + sqrt(3)).
%C A065918 x = 2^n - 1 is prime if and only if x divides cosh(2^(n - 2)*log(2 + sqrt(3))).
%H A065918 Harry J. Smith, <a href="/A065918/b065918.txt">Table of n, a(n) for n = 1..2000</a>
%H A065918 Chris Caldwell, <a href="http://www.utm.edu/research/primes/prove/prove3_2.html">Primality Proving</a>, Arndt's theorem.
%H A065918 <a href="/index/Tra#transcendental">Index entries for transcendental numbers</a>.
%F A065918 Equals arccosh(2) since arccosh(x) = log(x + sqrt(x^2 - 1)). - _Stanislav Sykora_, Nov 01 2013
%F A065918 Equals arctanh(sqrt(3)/2). - _Amiram Eldar_, Feb 09 2024
%F A065918 Equals log(4) - Sum_{k>=1} (2*k - 1)!!/(k*k!*2^(3*k + 1)). - _Antonio Graciá Llorente_, Feb 14 2024
%F A065918 Equals Sum_{n>=0} ((-1)^(n)*binomial(2*n, n))/(2^(3*n - 1/2)*(2*n + 1)). - _Antonio Graciá Llorente_, Nov 13 2024
%e A065918 1.316957896924816708625046347307968444...
%t A065918 First@ RealDigits[Log[2 + Sqrt@ 3], 10, 102] (* _Michael De Vlieger_, May 12 2019 *)
%o A065918 (PARI) default(realprecision, 2080); x=log(2 + sqrt(3)); for (n=1, 2000, d=floor(x); x=(x-d)*10; write("b065918.txt", n, " ", d)) \\ _Harry J. Smith_, Nov 04 2009
%o A065918 (PARI) acosh(2) \\ _Charles R Greathouse IV_, Jan 07 2016
%Y A065918 Cf. A001075, A019973, A072877.
%K A065918 nonn,easy,cons
%O A065918 1,2
%A A065918 _Frank Ellermann_, Dec 08 2001