%I #12 Aug 21 2020 05:48:02

%S 9,4,6,0,8,3,0,7,0,3,6,7,1,8,3,0,1,4,9,4,1,3,5,3,3,1,3,8,2,3,1,7,9,6,

%T 5,7,8,1,2,3,3,7,9,5,4,7,3,8,1,1,1,7,9,0,4,7,1,4,5,4,7,7,3,5,6,6,6,8,

%U 7,0,3,6,5,4,0,7,9,7,9,1,8,0,8,8,7,0,2,1,3,3,0,8,1,7,4,0,7,1,1,2,1,5,0,2,3

%N Decimal expansion of the sine integral at 1.

%D HP 82480A Math Pac Owner's Manual For the HP-71, Section 11: Numerical Integration, Page 118.

%H Joseph K. Horn and O. Praem, <a href="http://holyjoe.net/HP71/integral.htm">Numerical Integration </a>.

%F From _Amiram Eldar_, Aug 21 2020: (Start)

%F Equals Integral_{x=0..1} sin(x)/x dx.

%F Equals -Integral_{x=0..1} log(x)*cos(x) dx.

%F Equals Sum_{k>=0} (-1)^k/((2*k+1)*(2*k+1)!). (End)

%e 0.946083070367183014941353313823179657812337954738111790471454773...

%t RealDigits[ SinIntegral[1], 10, 105][[1]]

%o (PARI) intnum(x=0,1,sinc(x)) \\ _Charles R Greathouse IV_, May 08 2015

%o (PARI) Pi/2-imag(eint1(-I)) \\ _Charles R Greathouse IV_, May 08 2015

%Y Cf. A099282, A257535.

%K cons,nonn

%O 0,1

%A _Robert G. Wilson v_, Oct 08 2004