login
Decimal expansion of (1 + log(Pi/2))/Pi.
1

%I #18 Aug 23 2025 12:33:36

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

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

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

%N Decimal expansion of (1 + log(Pi/2))/Pi.

%F Equals Integral_{x=0..1} sin(Pi*x) log(Gamma(x)) dx.

%e 0.46205312570704533519089882494319344697793658184986...

%p (1+log(Pi/2))/Pi ; evalf(%) ;

%t RealDigits[(Log[Pi / 2] + 1)/ Pi, 10, 120][[1]] (* _Amiram Eldar_, Aug 19 2024 *)

%o (PARI) (1+log(Pi/2))/Pi \\ _Stefano Spezia_, Aug 23 2025

%Y Cf. A000796, A075700, A375367.

%K nonn,cons

%O 0,1

%A _R. J. Mathar_, Aug 13 2024