OFFSET
1,3
COMMENTS
Conjecture: (i) All the terms of this sequence are pairwise distinct.
(ii) All the numbers phi(n)*pi(n*(n-1)) (n = 1,2,3,...) are pairwise distinct.
(iii) All the numbers phi(n^2)*pi(n^2) = n*phi(n)*pi(n^2) (n = 1,2,3,...) are pairwise distinct.
We have checked this conjecture via Mathematica. For example, we have verified that a(n) (n = 1..4*10^5) are indeed pairwise distinct.
See also A263325 for a similar conjecture.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
EXAMPLE
a(1) = 0 since pi(1^2)*phi(1)/2 = 0*1/2 = 0.
a(2) = 1 since pi(2^2)*phi(2)/2 = 2*1/2 = 1.
a(3) = 4 since pi(3^2)*phi(3)/2 = 4*2/2 = 4.
MATHEMATICA
a[n_]:=a[n]=PrimePi[n^2]*EulerPhi[n]/2
Do[Print[n, " ", a[n]], {n, 1, 50}]
PROG
(PARI) a(n) = primepi(n^2)*eulerphi(n)/2; \\ Michel Marcus, Oct 15 2015
(Magma) [#PrimesUpTo(n^2)*EulerPhi(n)/2: n in [1..80]]; // Vincenzo Librandi, Oct 15 2015
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Oct 14 2015
STATUS
approved