OFFSET
1,3
FORMULA
Equals (sqrt(1+log(2)^2) - sqrt(1+(log(2)/2)^2) + arcsinh(2/log(2)) - arcsinh(1/log(2)))/log(2). - Amiram Eldar, May 16 2026
EXAMPLE
1.1215531824007360312081857171447937526245255166...
MATHEMATICA
s = Integrate[Sqrt[1 + D[2^(-x), x]^2], {x, 0, 1}]
r = N[s, 200]
RealDigits[r][[1]]
CROSSREFS
KEYWORD
AUTHOR
Clark Kimberling, Jun 12 2020
STATUS
approved
