OFFSET
0,1
LINKS
Michael I. Shamos, Shamos's catalog of the real numbers (2011).
FORMULA
Equals sqrt(2) * Sum_{n>=0) (-1)^n/A007019(n) = sqrt(2) * Sum_{n>=0) (-2)^n/(2*n+1)!. - Amiram Eldar, Jun 01 2023
EXAMPLE
0.98776594599273552706913407207894265590...
MATHEMATICA
RealDigits[Sin[Sqrt[2]], 10, 120][[1]] (* Amiram Eldar, Jun 01 2023 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Aug 22 2021
STATUS
approved