VOOZH about

URL: https://oeis.org/A392818

⇱ A392818 - OEIS


login
A392818
Decimal expansion of the asymptotic mean of the maximum exponent in the prime factorization of the numbers of the form p-1 or p+1 where p is prime.
3
2, 2, 0, 6, 3, 5, 5, 6, 9, 9, 2, 1, 5, 3, 8, 1, 5, 6, 5, 4, 7, 2, 8, 0, 6, 5, 0, 2, 0, 9, 3, 7, 0, 9, 8, 3, 4, 1, 4, 2, 6, 4, 3, 1, 0, 9, 5, 2, 4, 7, 2, 8, 9, 4, 0, 9, 8, 2, 7, 9, 4, 4, 2, 1, 1, 7, 9, 5, 8, 3, 1, 3, 6, 6, 7, 0, 5, 0, 4, 1, 1, 7, 6, 5, 9, 0, 2, 8, 8, 4, 9, 0, 2, 4, 2, 1, 8, 4, 3, 0, 4, 4, 0, 6, 4
OFFSET
1,1
COMMENTS
Analogous to Niven's constant for shifted primes p-1 and shifted primes p+1.
The formula for calculating this constant (the third in the Formula section) can be derived from the asymptotic density given by Mirsky (1949, Theorem 2, p. 19), in a similar way in which Niven's constant is calculated (Niven, 1969).
In general, for shifted primes p + k or p - k, where k is any positive integer, the asymptotic mean can be calculating in the same way, with restricting the product to be over all the primes that do not divide k.
Let c(k) be the asymptotic mean corresponding to primes shifted by k (either p-k or p+k). Then, c(k) attains its maximal value, this constant, at k = 1. c(k) depends only on the distinct primes dividing k, i.e., c(k) = c(rad(k)), where rad = A007947 is the squarefree kernel function. The values of k in which c(k) attains record low values are the primorials (A002110). The values of k in which c(k) attains record values of proximity to 2 are the half primorials (A070826).
LINKS
Amiram Eldar, Analogs of Niven's Constant for Shifted Primes, includes Pari code and various values of c(k).
Leon Mirsky, The number of representations of an integer as the sum of a prime and a k-free integer, American Mathematical Monthly, Vol. 56, No. 1 (1949), pp. 17-19.
Ivan Niven, Averages of Exponents in Factoring Integers, Proc. Amer. Math. Soc., Vol. 22, No. 2 (1969), pp. 356-360.
FORMULA
Equals lim_{m->oo} (1/m) * Sum_{k=1..m} A023504(k).
Equals lim_{m->oo} (1/m) * Sum_{k=1..m} A023510(k).
Equals 1 + Sum_{k>=1} (1 - Product_{p prime} (1 - 1/((p-1)*p^k))).
EXAMPLE
2.20635569921538156547280650209370983414264310952472...
PROG
(PARI) f(k) = 1 - prodeulerrat(1 - 1/((p-1)*p^k));
1 + sumpos(k = 1, f(k))
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Jan 24 2026
STATUS
approved