%I #9 Aug 06 2024 06:58:51
%S 1,9,4,8,4,5,4,7,8,8,9,5,8,8,3,5,6,0,6,7,0,3,1,0,2,4,6,6,8,8,6,5,7,5,
%T 5,5,8,3,0,0,7,5,8,1,7,2,0,8,8,3,4,5,8,3,8,6,1,7,8,1,6,5,3,9,0,0,8,5,
%U 9,5,9,1,3,5,0,4,1,4,2,2,0,5,9,6,4,3,4,5,9,5,5,3,3,9,4,5,7,8,1,4
%N Decimal expansion of C_4, a constant related to sharp inequalities for the product of 4 polynomials, which was introduced by David Boyd.
%D S. R. Finch, Mathematical Constants, Cambridge, 2003, Section 3.10 p. 233.
%H David W. Boyd, <a href="https://citeseerx.ist.psu.edu/pdf/522373ad9d2ff1a77a4054e6c28d8da3df682e5d">Sharp inequalities for the product of polynomials</a>
%H Eric Weisstein's MathWorld, <a href="http://mathworld.wolfram.com/ClausensIntegral.html">Clausen's Integral</a>
%F exp(4/Pi*Clausen2(Pi - Pi/4)), where Clausen2 is Clausen's Integral.
%e 1.9484547889588356067031024668865755583...
%t Clausen2[x_] := Im[PolyLog[2, Exp[x*I]]]; c[m_] := Exp[m/Pi*Clausen2[Pi - Pi/m]]; RealDigits[c[4], 10, 100] // First
%o (PARI) exp(4*imag(polylog(2, exp(3*I*Pi/4)))/Pi) \\ _Charles R Greathouse IV_, Jul 15 2014
%Y Cf. A130834 (C_2), A242711 (C_3), A242713 (C_5), A242714 (C_6).
%K nonn,cons
%O 1,2
%A _Jean-François Alcover_, May 21 2014