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

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, 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, 4, 8, 0, 2, 4, 7, 4, 3, 4, 8, 4, 6, 2, 0, 4, 1, 9, 5, 8, 0, 7, 9

Offset

0,1

Links

Paolo Xausa, Table of n, a(n) for n = 0..10000

Michael Penn, What a super nice integral!, YouTube video, 2025.

Formula

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

Equals -A002162*A256924.

Example

-0.5532397859201190531965695077068261147674878556420...

Mathematica

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

Crossrefs

Cf. A002162, A256924.

Sequence in context: A320478 A380942 A364881 * A225302 A079384 A308651

Adjacent sequences: A393155 A393156 A393157 * A393159 A393160 A393161

Keyword

nonn,cons,easy

Author

Paolo Xausa, Feb 03 2026

Status

approved