|
%I #5 Sep 23 2023 12:12:04
%S 8,3,5,9,9,8,3,3,2,7,0,0,9,6,4,3,2,2,9,7,0,9,1,1,1,9,8,6,9,6,0,2,9,0,
%T 9,6,4,2,7,0,4,2,1,6,8,0,9,3,2,3,3,2,4,8,3,2,9,5,5,6,3,4,9,2,5,7,7,0,
%U 1,8,9,5,2,5,3,1,7,3,8,8,4,0,0,2,1,9,2,2,7,6,8,8,7,7,6,6,2,2,3,2,5,7,7,8,5,5
%N Decimal expansion of Sum_{k>=2} zeta(k)/k^2.
%H Michael I. Shamos, <a href="http://euro.ecom.cmu.edu/people/faculty/mshamos/cat.pdf">A catalog of the real numbers</a>, 2011, p. 596.
%F Equals Sum_{k>=1} (polylog(2, 1/k) - 1/k).
%e 0.835998332700964322970911198696029096427042168093233248329556349257701895253...
%o (PARI) sumpos(k=2,zeta(k)/k^2)
%Y Cf. A231132, A256921.
%K nonn,cons
%O 0,1
%A _Vaclav Kotesovec_, Sep 23 2023
|
