The OEIS mourns the passing of Jim Simons and is grateful to the Simons Foundation for its support of research in many branches of science, including the OEIS.
login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A193887 Decimal expansion of Pi * sqrt(2)/8. 6
5, 5, 5, 3, 6, 0, 3, 6, 7, 2, 6, 9, 7, 9, 5, 7, 8, 0, 8, 7, 6, 9, 8, 5, 1, 2, 3, 7, 5, 7, 5, 8, 6, 7, 1, 2, 3, 2, 6, 8, 2, 7, 7, 1, 1, 1, 7, 1, 9, 6, 1, 2, 7, 7, 8, 8, 5, 6, 7, 4, 4, 5, 0, 8, 6, 9, 5, 5, 4, 3, 4, 9, 1, 3, 7, 4 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET
0,1
COMMENTS
This number arises as an addend in one way of giving the closed form of sum(k>=0, (-1)^k/(4*k + 1) ), for example, in Spiegel et al. (2009).
REFERENCES
Murray R. Spiegel, Seymour Lipschutz, John Liu. Mathematical Handbook of Formulas and Tables, 3rd Ed. Schaum's Outline Series. New York: McGraw-Hill (2009): p. 135, equation 21.17
LINKS
Piotr Garbaczewski and Vladimir Stephanovich, Semigroup modeling of confined Levy flights, arXiv:1106.1530 [cond-mat.stat-mech], 2011, p. 8, equation 40.
FORMULA
Equals Pi/(4*sqrt(2)).
Equals Sum_{k >= 0} (-1)^k * (4*k + 2)/((4*k + 1)*(4*k + 3)). - Peter Bala, Sep 21 2016
From Amiram Eldar, Aug 15 2020: (Start)
Equals Integral_{x=0..oo} 1/(x^2 + 8) dx.
Equals Integral_{x=0..oo} 1/(8*x^2 + 1) dx.
Equals Integral_{x=0..oo} 1/(1 + x + x^2 + x^3 + x^4 + x^5 + x^6 + x^7) dx. (End)
EXAMPLE
0.55536036726979578088...
MATHEMATICA
RealDigits[(Pi Sqrt[2])/8, 10, 100][[1]]
PROG
(PARI) Pi*sqrt(2)/8 \\ G. C. Greubel, Feb 02 2018
(Magma) R:= RealField(); Pi(R)*Sqrt(2)/8; // G. C. Greubel, Feb 02 2018
CROSSREFS
Sequence in context: A173602 A054245 A302552 * A196998 A232614 A254609
KEYWORD
nonn,cons
AUTHOR
Alonso del Arte, Aug 07 2011
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 19 09:05 EDT 2024. Contains 372673 sequences. (Running on oeis4.)