OFFSET
0,1
FORMULA
Equals (Pi - 2*sqrt(1+sqrt(2)) * arctan(2*sqrt(2+10*sqrt(2))/7)) / sqrt(2). - Vaclav Kotesovec, Apr 10 2016
EXAMPLE
0.3445436367923706403320533879002043065894259746135921255085777...
MAPLE
evalf((Pi - 2*sqrt(1+sqrt(2)) * arctan(2*sqrt(2+10*sqrt(2))/7)) / sqrt(2), 120); # Vaclav Kotesovec, Apr 10 2016
MATHEMATICA
RealDigits[(Pi - 2*Sqrt[1 + Sqrt[2]] * ArcTan[(2/7)*Sqrt[2 + 10*Sqrt[2]]])/Sqrt[2], 10, 120][[1]]
N[Sum[Sum[((-1)^(i + j) 4^-i Binomial[2 i, i])/((1 + 2 j) (2 + i + 2 j)), {i, 0, Infinity}], {j, 0, Infinity}]]
PROG
(PARI) (Pi - 2*sqrt(1+sqrt(2)) * atan(2*sqrt(2+10*sqrt(2))/7)) / sqrt(2)
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
John M. Campbell, Apr 09 2016
STATUS
approved