OFFSET
1,2
COMMENTS
The geometric mean of the logarithmic distribution with parameter value 1/2 (A381900) approaches this constant. In general, for parameter value p, it approaches exp(PolyLog'(1,p)/log(1-p)).
FORMULA
Equals exp(-PolyLog'(1,1/2)/log(2)), where PolyLog'(x,y) represents the derivative of the polylogarithm w.r.t. x.
From Jwalin Bhatt, May 07 2025: (Start)
Equals exp(Sum_{k>=2} log_2(k)/(k*2^k)).
Equals (Product_{k>=2} k^(1/(k*2^k))) ^ (1/log(2)). (End)
EXAMPLE
1.2833031711874068193927988...
MATHEMATICA
N[Exp [Sum[Log2[i]/(i*2^i), {i, 2, Infinity}]], 120]
N[Exp[-Derivative[1, 0][PolyLog][1, 1/2]/Log[2]], 120]
PROG
(Python)
from mpmath import polylog, diff, exp, log, mp
mp.dps = 120
const = exp(-diff(lambda n: polylog(n, 1/2), 1)/log(2))
A381898 = [int(d) for d in mp.nstr(const, n=mp.dps)[:-1] if d != '.']
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Jwalin Bhatt, Mar 09 2025
EXTENSIONS
a(120) corrected by Sean A. Irvine, Apr 14 2025
STATUS
approved
