login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A369758
The sum of divisors of the smallest cubefull exponentially odd number that is divisible by n.
3
1, 15, 40, 15, 156, 600, 400, 15, 40, 2340, 1464, 600, 2380, 6000, 6240, 63, 5220, 600, 7240, 2340, 16000, 21960, 12720, 600, 156, 35700, 40, 6000, 25260, 93600, 30784, 63, 58560, 78300, 62400, 600, 52060, 108600, 95200, 2340, 70644, 240000, 81400, 21960, 6240
OFFSET
1,2
COMMENTS
First differs from A369720 at n = 16.
LINKS
FORMULA
a(n) = A000203(A356192(n)).
Multiplicative with a(p) = p^3 + p^2 + p + 1, a(p^e) = (p^(e+1)-1)/(p-1) for an odd e >= 3, and a(p^e) = (p^(e+2)-1)/(p-1) for an even e.
a(n) >= A000203(n), with equality if and only if n is cubefull exponentially odd number (A335988).
Dirichlet g.f.: zeta(s) * zeta(2*s-2) * Product_{p prime} (1 + 1/p^(s-3) + 1/p^(s-2) + 1/p^(s-1) - 1/p^(2*s-2) - 1/p^(3*s-5) - 1/p^(3*s-4) - 1/p^(3*s-3) + 1/p^(4*s-5) + 1/p^(4*s-4)).
Sum_{k=1..n} a(k) ~ c * n^4 / 4, where c = zeta(4) * zeta(6) * Product_{p prime} (1 - 1/p^4 - 1/p^6 + 1/p^10 + 1/p^11 - 1/p^13) = 1.00040193512214077945... .
Equivalently, c = Product_{p prime} (1 + 1/(p^3*(p^4 - 1)*(p^4 + p^2 + 1))). - Vaclav Kotesovec, Feb 02 2024
MATHEMATICA
f[p_, e_] := (p^If[OddQ[e], Max[e, 3] + 1, e + 2] - 1)/(p-1); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]
PROG
(PARI) a(n) = {my(f = factor(n)); prod(i = 1, #f~, (f[i, 1]^if(f[i, 2]%2, max(f[i, 2], 3) + 1, f[i, 2] + 2) - 1)/(f[i, 1] - 1)); }
(Python)
from math import prod
from sympy import factorint
def A369758(n): return prod((p**((3 if e==1 else e)+1+(e&1^1))-1)//(p-1) for p, e in factorint(n).items()) # Chai Wah Wu, Feb 03 2024
KEYWORD
nonn,easy,mult
AUTHOR
Amiram Eldar, Jan 31 2024
STATUS
approved