OFFSET
0,1
FORMULA
Equals (4 + 5*sqrt(2))/17 = Sum_{k>=0} sin(k*Pi)/2^k.
Minimal polynomial: 17*x^2 - 8*x - 2. - Amiram Eldar, May 26 2026
EXAMPLE
0.65123928305091030847108491888520531722637408099322002...
MATHEMATICA
s = Sum[Sin[k Pi/4]/2^k, {k, 0, Infinity}]
d = N[s, 100]
First[RealDigits[d]]
N[(1/17) (4 + 5 Sqrt[2]), 100]
PROG
(PARI) (4+5*sqrt(2))/17 \\ Charles R Greathouse IV, Apr 30 2026
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Jun 07 2024
STATUS
approved
