OFFSET
0,1
COMMENTS
Deshouillers and Iwaniec (2008) proved that the sequence of geometric mean values of the Euler totient function, A001088(n)^(1/n) = (Product_{k=1..n} phi(k))^(1/n), is uniformly distributed modulo 1 if and only if this constant is irrational. They noted that Richard Bumby showed that if it is rational, then its denominator has at least 20 decimal digits.
LINKS
Jean-Marc Deshouillers and Henryk Iwaniec, On the distribution modulo one of the mean values of some arithmetical functions, Uniform Distribution Theory, Vol. 3, No. 1 (2008), pp. 111-124.
Mehdi Hassani, Uniform distribution modulo one of some sequences concerning the Euler function, Rev. Un. Mat. Argentina, Vol. 54, No. 1 (2013), pp. 55-68.
FORMULA
Equals exp(-1 - Sum_{k>=2} P(k)/(k-1)), where P(s) is the prime zeta function.
EXAMPLE
0.20596305028818635387967542823249746648587805934205...
MATHEMATICA
$MaxExtraPrecision = 1000; m = 100; RealDigits[N[Exp[-1 - Sum[PrimeZetaP[k]/(k - 1), {k, 2, 1000}]], m + 1], 10, m][[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, May 28 2021
STATUS
approved