OFFSET
0,1
LINKS
Vincenzo Librandi, Table of n, a(n) for n = 0..5000
Eric Weisstein's World of Mathematics, Definite Integral
Eric Weisstein's World of Mathematics, Reuleaux Tetrahedron
FORMULA
(8/3)*Pi - (27/4)*arccos(1/3) + sqrt(2)/4
= (3*sqrt(2) - 49*Pi + 162*arctan(sqrt(2)))/12
= (1/24)*(6*sqrt(2) + 16*Pi + 57*arccos(17/81) - 132*arctan(sqrt(2))).
EXAMPLE
0.422157733...
MATHEMATICA
RealDigits[8 Pi/3 - 27 ArcSec[3]/4 + Sqrt[2]/4, 10, 102][[1]] (* Eric W. Weisstein, Dec 15 2017 *)
PROG
(PARI) 8/3*Pi - (27/4)*acos(1/3) + sqrt(2)/4 \\ Michel Marcus, Dec 15 2017
CROSSREFS
KEYWORD
AUTHOR
Eric W. Weisstein, Jan 16 2005
STATUS
approved