%I #36 Jul 18 2022 19:53:20
%S 8,0,9,3,9,4,0,2,0,5,4,0,6,3,9,1,3,0,7,1,7,9,3,1,8,8,0,5,9,4,0,9,1,3,
%T 1,7,2,1,5,9,5,3,9,9,2,4,2,5,0,0,0,3,0,4,2,4,2,0,2,8,7,1,5,0,4,2,9,9,
%U 9,0,1,2,5,1,6,5,4,7,3,2,2,3,1,1,5,1,8,4,0,7,8,1,9,7,2,3,6,1,6,9,1,5
%N Decimal expansion of Alladi-Grinstead constant exp(c-1), where c is given in A085361.
%C Named after the Indian-American mathematician Krishnaswami Alladi (b. 1955) and the American mathematician Charles Miller Grinstead (b. 1952). - _Amiram Eldar_, Jun 15 2021
%D Steven R. Finch, Mathematical Constants, Cambridge University Press, 2003, pp. 120-122.
%H K. Alladi and C. Grinstead, <a href="http://dx.doi.org/10.1016/0022-314X(77)90006-3">On the decomposition of n! into prime powers</a>, J. Number Theory, Vol. 9, No. 4 (1977), pp. 452-458.
%H Simon Plouffe, <a href="http://www.plouffe.fr/simon/constants/alladig.txt">Alladi-Grinstead Constant</a>.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Alladi-GrinsteadConstant.html">Alladi-Grinstead Constant</a>.
%F Equals exp(c-1), where c is Sum_{n>=1} (zeta(n+1) - 1)/n (cf. A085361).
%F Equals lim_{n->oo} (Product_{k=1..n} (k/n)*floor(n/k))^(1/n). - _Benoit Cloitre_, Jul 15 2022
%e 0.80939402054063913071793188059409131721595399242500030424202871504...
%p evalf(exp(sum((Zeta(n+1)-1)/n, n=1..infinity)-1), 120); # _Vaclav Kotesovec_, Dec 11 2015
%t $MaxExtraPrecision = 256; RealDigits[ Exp[ Sum[ N[(-1 + Zeta[1 + n])/n, 256], {n, 350}] - 1], 10, 111][[1]] (* _Robert G. Wilson v_, Nov 23 2005 *)
%o (PARI) exp(suminf(n=1, (zeta(n+1)-1)/n) - 1) \\ _Michel Marcus_, May 19 2020
%Y Cf. A085288, A085289, A085290, A085361.
%K nonn,cons
%O 0,1
%A _Eric W. Weisstein_, Jun 25 2003
%E Corrected and extended by Antonio G. Astudillo (afg_astudillo(AT)lycos.com), Jun 24 2003
|