# Greetings from The On-Line Encyclopedia of Integer Sequences! http://oeis.org/
Search: id:a016627
Showing 1-1 of 1
%I A016627 #115 Mar 21 2024 07:03:31
%S A016627 1,3,8,6,2,9,4,3,6,1,1,1,9,8,9,0,6,1,8,8,3,4,4,6,4,2,4,2,9,1,6,3,5,3,
%T A016627 1,3,6,1,5,1,0,0,0,2,6,8,7,2,0,5,1,0,5,0,8,2,4,1,3,6,0,0,1,8,9,8,6,7,
%U A016627 8,7,2,4,3,9,3,9,3,8,9,4,3,1,2,1,1,7,2,6,6,5,3,9,9,2,8,3,7,3,7
%N A016627 Decimal expansion of log(4).
%C A016627 This constant (negated) is the 1-dimensional analog of Madelung's constant. - _Jean-François Alcover_, May 20 2014
%C A016627 This constant is the sum over the reciprocals of the hexagonal numbers A000384(n), n >= 1. See the Downey et al. link, and the formula by _Robert G. Wilson v_ below. - _Wolfdieter Lang_, Sep 12 2016
%C A016627 log(4) - 1 is the mean ratio between the smaller length and the larger length of the two parts of a stick that is being broken at a point that is uniformly chosen at random (Mosteller, 1965). - _Amiram Eldar_, Jul 25 2020
%C A016627 From _Bernard Schott_, Sep 11 2020: (Start)
%C A016627 This constant was the subject of the problem B5 during the 42nd Putnam competition in 1981 (see formula Sep 11 2020 and Putnam link).
%C A016627 Jeffrey Shallit generalizes this result obtained for base 2 to any base b (see Amer. Math. Month. link): Sum_{k>=1} digsum(k)_b / (k*(k+1)) = (b/(b-1)) * log(b) where digsum(k)_b is the sum of the digits of k when expressed in base b (for base 10 see A334388). (End)
%D A016627 Milton Abramowitz and Irene A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 2.
%D A016627 Frederick Mosteller, Fifty challenging problems of probability, Dover, New York, 1965. See problem 42, pp. 10 and 63.
%H A016627 Harry J. Smith, Table of n, a(n) for n = 1..20000
%H A016627 Milton Abramowitz and Irene A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
%H A016627 Lawrence Downey, Boon W. Ong and James A. Sellers, Beyond the Basel Problem: Sums of Reciprocals of Figurate Numbers, Coll. Math. J., 39, no. 5 (2008), 391-394.
%H A016627 D. H. Lehmer, Interesting series involving the Central Binomial Coefficient, Am. Math. Monthly, Vol. 92, No. 7 (1985) pp. 449-457.
%H A016627 Allon G. Percus, Gabriel Istrate, Bruno Goncalves, Robert Z. Sumi and Stefan Boettcher, The Peculiar Phase Structure of Random Graph Bisection, arXiv:0808.1549 [cond-mat.stat-mech], 2008.
%H A016627 H.-J. Seiffert, Problem B-771, Elementary Problems and Solutions, The Fibonacci Quarterly, Vol. 32, No. 4 (1994), p. 374; More Sums, Solution to Problem B-771 by Don Redmond, ibid., Vol. 33, No. 5 (1995), pp. 470-471.
%H A016627 J. O. Shallit, Solutions of Advanced Problems, 6450, The American Mathematical Monthly, Vol. 92, No. 7, Aug.-Sep., 1985, pp. 513-514; DOI: 10.2307/2322523.
%H A016627 42nd Putnam Competition, Problem B5, 1981.
%H A016627 Index entries for sequences related to Olympiads and other Mathematical competitions.
%H A016627 Index entries for transcendental numbers.
%F A016627 log(4) = Sum_{k >= 1} H(k)/2^k where H(k) is the k-th harmonic number. - _Benoit Cloitre_, Jun 15 2003
%F A016627 Equals 1 - Sum_{k >= 1} (-1)^k/A002378(k) = 1 + 2*Sum_{k >= 0} 1/A069072(k) = 5/4 - Sum_{k >= 1} (-1)^k/A007531(k+2). - _R. J. Mathar_, Jan 23 2009
%F A016627 Equals 2*A002162 = Sum_{n >= 1} binomial(2*n, n)/(n*4^n) [D. H. Lehmer, Am. Math. Monthly 92 (1985) 449 and Jolley eq. 262]. - _R. J. Mathar_, Mar 04 2009
%F A016627 log(4) = Sum_{k >= 1} A191907(4, k)/k, (conjecture). - _Mats Granvik_, Jun 19 2011
%F A016627 log(4) = lim_{n -> infinity} A066066(n)/n. - _M. F. Hasler_, Oct 20 2013
%F A016627 Equals Sum_{k >= 1} 1/( 2*k^2 - k ). - _Robert G. Wilson v_, Aug 31 2014
%F A016627 Equals gamma(0, 1/2) - gamma(0, 1) = -(EulerGamma + polygamma(0, 1/2)), where gamma(n,x) denotes the generalized Stieltjes constants. - _Peter Luschny_, May 16 2018
%F A016627 From _Amiram Eldar_, Jul 25 2020: (Start)
%F A016627 Equals Sum_{k>=1} (3/4)^k/k.
%F A016627 Equals Sum_{k>=1} 1/(k*2^(k-1)) = Sum_{k>=1} 1/A001787(k).
%F A016627 Equals Integral_{x=0..1} log(1+1/x) dx. (End)
%F A016627 Equals Sum_{k>=1} A000120(k) / (k*(k+1)). - _Bernard Schott_, Sep 11 2020
%F A016627 Equals 1 + Sum_{k>=1} zeta(2*k+1)/4^k. - _Amiram Eldar_, May 27 2021
%F A016627 Equals Sum_{k>=1} (2*k+1)*Fibonacci(k)/(k*(k+1)*2^k) (Seiffert, 1994). - _Amiram Eldar_, Jan 15 2022
%F A016627 Continued fraction: log(4) = 1 + 1/(2 + (1*2)/(2 + (2*3)/(2 + (3*4)/(2 + (4*5)/(2 + ... ))))) due to Euler. - _Peter Bala_, Mar 05 2024
%F A016627 log(4) = 2*Sum_{n >= 1} 1/(n*P(n, 5/3)*P(n-1, 5/3)), where P(n, x) denotes the n-th Legendre polynomial. The first 20 terms of the series gives the approximation log(4) = 1.386294361119890618(66...), correct to 18 decimal places. - _Peter Bala_, Mar 18 2024
%e A016627 1.38629436111989061883446424291635313615100026872051050824136...
%t A016627 RealDigits[Log@ 4, 10, 111][[1]] (* _Robert G. Wilson v_, Aug 31 2014 *)
%o A016627 (PARI) default(realprecision, 20080); x=log(4); for (n=1, 20000, d=floor(x); x=(x-d)*10; write("b016627.txt", n, " ", d)); \\ _Harry J. Smith_, May 16 2009, corrected May 19 2009
%o A016627 (PARI) A016627_vec(N)=digits(floor(log(precision(4.,N))*10^(N-1))) \\ Or: default(realprecision,N);digits(log(4)\.1^N) \\ _M. F. Hasler_, Oct 20 2013
%Y A016627 Cf. A016732 (continued fraction).
%Y A016627 Cf. A002162 (half), A133362 (reciprocal).
%Y A016627 Cf. A000384, A001787, A002378, A007531, A066066, A069072, A191907.
%Y A016627 Cf. A000045, A000120, A334388.
%K A016627 nonn,cons
%O A016627 1,2
%A A016627 _N. J. A. Sloane_
# Content is available under The OEIS End-User License Agreement: http://oeis.org/LICENSE