OFFSET
0,1
LINKS
Michael I. Shamos, Shamos's catalog of the real numbers (2011).
FORMULA
Equals Sum_{k>=1} ( 1/(8*k-7)^3 - 1/(8*k-1)^3 ).
EXAMPLE
0.998334366098113974181445731924587183639820...
MATHEMATICA
RealDigits[Pi^3 * (3*Sqrt[2] + 4) / 256, 10, 120][[1]] (* Amiram Eldar, Jun 20 2023 *)
PROG
(PARI) Pi^3*(sqrt(18)+4)/256 \\ Charles R Greathouse IV, Oct 02 2022
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Aug 14 2021
STATUS
approved