OFFSET
0,1
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..10000
Leon D. Fairbanks, Powers of Cosine and Sine, arXiv:2308.04437 [math.GM], 2023. See p. 3.
FORMULA
Equals (1/2) * sqrt(2+sqrt(2+sqrt(2+sqrt(2)))).
EXAMPLE
0.9951847266721968862448369...
MATHEMATICA
RealDigits[Cos[Pi/32], 10, 100][[1]] (* Amiram Eldar, Apr 27 2021 *)
PROG
(PARI) real(I^(1/16))
(PARI) cos(Pi/32)
(PARI) sqrt(2+sqrt(2+sqrt(2+sqrt(2))))/2
(Magma) R:= RealField(127); Cos(Pi(R)/32) // G. C. Greubel, Sep 30 2022
(SageMath) numerical_approx(cos(pi/32), digits=122) # G. C. Greubel, Sep 30 2022
CROSSREFS
KEYWORD
AUTHOR
Seiichi Manyama, Apr 04 2021
STATUS
approved