%I #14 Jan 17 2020 16:08:07
%S 0,8,3,3,1,5,4,7,0,5,8,7,6,8,6,2,9,8,3,8,3,0,6,2,7,3,8,5,6,7,5,9,8,5,
%T 7,7,3,0,6,5,8,4,9,3,7,4,6,4,0,3,9,4,1,6,4,7,4,9,4,9,5,3,4,5,2,4,0,9,
%U 1,5,0,5,5,5,7,2,8,8,1,2,4,0,0,9,1,9,6,2,1,3,0,9,9,5,8,1,7,3,2,2,5,7,4
%N Decimal expansion of the expected value of the function max(x-1,0) with respect to the normal distribution (with zero mean and unit standard deviation).
%H Steven R. Finch, <a href="http://arxiv.org/abs/2001.00578">Errata and Addenda to Mathematical Constants</a>, p. 52.
%F 1/sqrt(2*e*Pi) - (1/2)*erfc(1/sqrt(2)).
%F Also equals A240717*(1 - 1/A111129).
%e 0.083315470587686298383062738567598577306584937464...
%t Join[{0}, RealDigits[1/Sqrt[2*E*Pi] - (1/2)*Erfc[1/Sqrt[2]], 10, 102] // First]
%o (PARI) 1/sqrt(2*exp(1)*Pi) - (1/2)*erfc(1/sqrt(2)) \\ _Michel Marcus_, Sep 04 2014
%Y Cf. A111129, A240717.
%K nonn,cons,easy
%O 0,2
%A _Jean-François Alcover_, Sep 04 2014
|