login
Decimal expansion of 9*zeta(3)/(2*Pi^2) - log(2) + 1/3.
2

%I #6 Nov 03 2024 05:05:11

%S 1,8,8,2,5,8,3,7,9,8,2,4,4,6,6,8,9,7,9,6,0,6,2,8,7,6,0,3,5,5,9,4,2,7,

%T 4,4,9,0,3,8,4,1,9,0,2,7,8,2,6,0,8,9,3,1,7,6,6,1,4,7,3,4,1,3,0,2,6,2,

%U 0,4,3,4,3,7,2,5,0,2,7,9,3,9,2,7,7,7,2,5,3,4,1,9,2,6,5,5,5,7,3,2

%N Decimal expansion of 9*zeta(3)/(2*Pi^2) - log(2) + 1/3.

%D Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Section 1.6.3, pp. 43-44.

%F Equals Sum_{k>=1} zeta(2*k)/((2*k + 3)*2^(2*k-1)) (see Finch).

%e 0.18825837982446689796062876035594274490384190278...

%t RealDigits[9Zeta[3]/(2Pi^2)-Log[2]+1/3,10,100][[1]]

%Y Cf. A002117, A002162, A094642, A164102, A244009, A377588, A377592.

%K nonn,cons

%O 0,2

%A _Stefano Spezia_, Nov 02 2024