OFFSET
0,1
COMMENTS
The asymptotic probability that the greatest common infinitary divisor of two positive integers selected independently at random is an exponentially 2^n-number (A138302).
FORMULA
Equals Product_{p prime} (1 + Sum_{k>=0} 1/(p^(2^(k+1)) + 2*p^(2^k))) * A393948.
EXAMPLE
0.994380928740398153030200247807975123997755498259925...
PROG
(PARI) c(m) = prodeulerrat(1 + sum(k = 0, m, 1/(p^(2^(k+1)) + 2*p^(2^k)))) * prodeulerrat((1 - 1/p)^2 * prod(k = 0, m, 1 + 2/p^(2^k)));
{my(c1 = 0, c2 = 1, m = 1); while(c2 != c1, c1 = c2; c2 = c(m); m++); c2}
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Mar 04 2026
STATUS
approved
