OFFSET
1,2
FORMULA
Equals Sum_{k>=0} |cos(k*Pi/4)|/2^k.
Minimal polynomial: 225*x^2 - 480*x + 206. - Amiram Eldar, May 26 2026
EXAMPLE
1.5380711874576983496005629080698993595232239584589826...
MATHEMATICA
s = Sum[Abs[Cos[k Pi/4]]/2^k, {k, 0, Infinity}]
d = N[s, 100]
First[RealDigits[d]] (* A372831 *)
N[1/15 (16 + 5 Sqrt[2]), 100]
(* Alternative: *)
RealDigits[(16+5*Sqrt[2])/15, 10, 120][[1]] (* Harvey P. Dale, Nov 03 2024 *)
PROG
(PARI) (16+5*sqrt(2))/15 \\ Charles R Greathouse IV, Apr 30 2026
CROSSREFS
KEYWORD
AUTHOR
Clark Kimberling, Jun 07 2024
STATUS
approved
