OFFSET
0,2
LINKS
Steven R. Finch, Errata and Addenda to Mathematical Constants, p. 28.
Tadej Kotnik, Computational estimation of the constant β(1) characterizing the order of ζ(1 + it), Math. Comp. 77: 1713-1723, 2008.
FORMULA
1 - log(2) + integral_{0..2} log(BesselI(0, t))/t^2 dt + integral_{2..infinity} (log(BesselI(0, t)) - t)/t^2 dt.
EXAMPLE
-0.089326522343551...
MATHEMATICA
digits = 15; precision = 200; u0 = 10^8; du = 10^8; tail[u_] := -(1 + Log[2*Pi*u])/(2*u); Clear[f]; f[u_] := f[u] = 1 - Log[2] + NIntegrate[Log[BesselI[0, t]]/t^2, {t, 0, 2} , WorkingPrecision -> precision] + NIntegrate[(Log[BesselI[0, t]] - t)/t^2, {t, 2, u}, WorkingPrecision -> precision, MaxRecursion -> 20 ] + tail[u]; f[u0]; f[u = u0 + du]; While[RealDigits[f[u], 10, digits + 4] != RealDigits[f[u - du], 10, digits + 4], Print["u = ", u, " ", f[u]]; u = u + du]; Join[{0}, RealDigits[f[u], 10, digits] // First]
CROSSREFS
KEYWORD
AUTHOR
Jean-François Alcover, Sep 05 2014
EXTENSIONS
Typo in the formula corrected by Vaclav Kotesovec, Sep 17 2014
STATUS
approved