%I #15 Dec 13 2024 10:13:08
%S 9,1,2,2,6,0,1,7,1,9,5,4,0,8,9,0,9,4,7,4,3,7,1,6,6,6,1,1,6,6,3,5,3,6,
%T 3,3,0,2,5,0,5,7,0,2,5,8,4,0,8,9,9,5,6,9,0,6,8,0,9,2,5,5,2,9,6,6,9,9,
%U 7,8,8,6,9,8,3,8,3,6,6,2,9,6,9,4,6,8,2
%N Mean width of the regular tetrahedron of unit length.
%H Steven R. Finch, <a href="http://arxiv.org/abs/1111.4976">Mean width of a regular simplex</a>, arxiv:1111.4976 [math.MG] (2016), E(w_3).
%F Equals A156546*A093582.
%p x := 3*arccos(-1/3)/2/Pi ; evalf(%) ;
%t RealDigits[3 ArcCos[-1/3]/(2*Pi), 10, 87][[1]] (* _Indranil Ghosh_, Jul 08 2017 *)
%Y Cf. A156546, A093582.
%K cons,nonn
%O 0,1
%A _R. J. Mathar_, Jul 07 2017