OFFSET
1,1
LINKS
David Borwein and Jonathan M. Borwein, On an Intriguing Integral and Some Series Related to Zeta(4), Proc. Amer. Math. Soc. 123 (1995), 1191-1198
FORMULA
1/Pi*Integral_{0..Pi} x^2*log(2*cos(x/2))^2 dx = 11*Pi^4/180 = 11/2*zeta(4).
EXAMPLE
5.952777785411260053338020330976423465261130235552997992256369...
MATHEMATICA
RealDigits[11*Pi^4/180, 10, 102] // First
CROSSREFS
KEYWORD
AUTHOR
Jean-François Alcover, Apr 03 2015
STATUS
approved