%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