A393158 - OEIS

%I #9 Feb 03 2026 14:41:17

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

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

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

%N Decimal expansion of log(2)*log(sqrt(2)/Pi), negated.

%H Paolo Xausa, <a href="/A393158/b393158.txt">Table of n, a(n) for n = 0..10000</a>

%H Michael Penn, <a href="https://www.youtube.com/watch?v=waoSHbk3oyY">What a super nice integral!</a>, YouTube video, 2025.

%F Equals Integral_{x=0..1} log(cos(Pi*x/2))/(x*(x + 1)) dx.

%F Equals -A002162*A256924.

%e -0.5532397859201190531965695077068261147674878556420...

%t First[RealDigits[Log[2]*Log[Sqrt[2]/Pi], 10, 100]]

%Y Cf. A002162, A256924.

%K nonn,cons,easy

%O 0,1

%A _Paolo Xausa_, Feb 03 2026