OFFSET
1,1
REFERENCES
Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Section 1.6.5, p. 46.
LINKS
Michael I. Shamos, A catalog of the real numbers, (2007). See p. 305.
FORMULA
Equals -4*Integral_{x=0..Pi} x*log(sin(x/2)) dx = 8*Integral_{x=0..1} arcsin(x)^2/x dx = 8*Integral_{x=0..Pi/2} x^2*cot(x) dx (see Finch).
Equals Integral_{x=0..Pi} x^2*sin(x)/(1 - cos(x)) dx (see Shamos).
EXAMPLE
5.26777860559707309189679117732804220724465404999...
MATHEMATICA
RealDigits[2Pi^2Log[2]-7Zeta[3], 10, 100][[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Stefano Spezia, Nov 03 2024
STATUS
approved