OFFSET
0,2
LINKS
FORMULA
From Peter Bala, Oct 27 2019: (Start)
Equals Integral_{x = 0..1} x^2*sqrt(1 - x^2) dx = Integral_{x = 0..1} x^3*sqrt(1 - x^8) dx.
Equals Integral_{x = 0..inf} x^2/(1 + x^2)^3 dx. (End)
From Amiram Eldar, Aug 04 2020: (Start)
Equals Sum_{k>=1} sin(k)^3 * cos(k)/k.
Equals Sum_{k>=1} sin(k)^3 * cos(k)^2/k.
Equals Sum_{k>=1} (-1)^(k+1) * sin((2*k-1)/4)/(2*k-1)^2. (End)
EXAMPLE
Pi/16 = 0.19634954084936207740391521145496893026232308746094411381... - Vladimir Joseph Stephan Orlovsky, Dec 02 2009
MATHEMATICA
RealDigits[N[Pi/16, 6! ]] (* Vladimir Joseph Stephan Orlovsky, Dec 02 2009 *)
PROG
(PARI) default(realprecision, 100); Pi/16 \\ G. C. Greubel, Aug 26 2019
(Magma) R:= RealField(100); Pi(R)/16; // G. C. Greubel, Aug 26 2019
(Sage) numerical_approx(pi/16, digits=100) # G. C. Greubel, Aug 26 2019
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
STATUS
approved