OFFSET
0,1
REFERENCES
Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Section 2.5.1, p. 111.
GĂ©rald Tenenbaum, Introduction to analytic and probabilistic number theory, Cambridge University Press, 1995, p. 53, exercise 5 (in the third edition 2015, p. 59, exercise 57).
LINKS
Paul T. Bateman, Proof of a conjecture of Grosswald, Duke Mathematical Journal, Vol. 25. No. 1 (1958), pp. 67-72.
Emil Grosswald, The average order of an arithmetic function, Duke Mathematical Journal, Vol. 23, No. 1 (1956), pp. 41-44.
FORMULA
Equals lim_{n->oo} (1/(n*log(n)^2)) * A069205(n). - Amiram Eldar, Feb 15 2025
EXAMPLE
0.27317072236263839747106601431655151479129736936570...
PROG
(PARI) 1/(8*log(2)*prodeulerrat(1-1/(p-1)^2, 1, 3)) \\ Amiram Eldar, Nov 29 2024
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Stefano Spezia, Nov 28 2024
STATUS
approved