OFFSET
1,2
COMMENTS
Conjecture: (i) All the terms of this sequence are pairwise distinct.
(ii) All the numbers sigma(n)*pi(n*(n+1)) (n = 1,2,3,...) are pairwise distinct.
(iii) All the numbers n*sigma(n)*pi(n^2) (n = 1,2,3,...) are pairwise distinct, and all the numbers sigma(n^2)*pi(n^2) (n = 1,2,3,...) are also pairwise distinct.
(iv) All the numbers n*phi(n)*sigma(n^2) = phi(n^2)*sigma(n^2) (n = 1,2,3,...) are pairwise distinct, where phi(.) is Euler's totient function.
We have verified that the terms a(n) (n = 1..4*10^5) are indeed pairwise distinct.
See also A263319 for a similar conjecture.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
EXAMPLE
a(1) = 0 since sigma(1)*pi(1^2) = 1*0 = 0.
a(2) = 6 since sigma(2)*pi(2^2) = 3*2 = 6.
MATHEMATICA
a[n_]:=a[n]=DivisorSigma[1, n]*PrimePi[n^2]
Do[Print[n, " ", a[n]], {n, 1, 50}]
PROG
(PARI) a(n) = sigma(n)*primepi(n^2); \\ Michel Marcus, Oct 15 2015
(Magma) [#PrimesUpTo(n^2)*SumOfDivisors(n): n in [1..80]]; // Vincenzo Librandi, Oct 15 2015
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Oct 14 2015
STATUS
approved