%I #27 Dec 08 2023 12:29:10
%S 0,1,1,2,1,6,1,4,3,8,1,12,1,10,9,8,1,18,1,16,11,14,1,24,5,16,9,20,1,
%T 42,1,16,15,20,13,36,1,22,17,32,1,54,1,28,27,26,1,48,7,40,21,32,1,54,
%U 17,40,23,32,1,84,1,34,33,32,19,78,1,40,27,74,1,72
%N a(n) = A001615(n) - n.
%C Analogous to A051953.
%C a(n) = A051953(n) if n is an element of A000961.
%C a(n) > A051953(n) if n is an element of A024619.
%C The sum of the proper divisors d of n such that n/d is squarefree. - _Amiram Eldar_, Sep 06 2019
%H Amiram Eldar, <a href="/A306927/b306927.txt">Table of n, a(n) for n = 1..10000</a>
%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Dedekind_psi_function">Dedekind psi function</a>.
%F a(n) = A001615(n) - n.
%F a(n) = Sum_{d|n, d<n} (mu(n/d)^2 * d). - _Amiram Eldar_, Sep 06 2019
%F Sum_{k=1..n} a(k) = c * n^2 / 2 + O(n*log(n)), where c = 15/Pi^2 - 1 = 0.519817... . - _Amiram Eldar_, Dec 08 2023
%e 0 is a term because A001615(1) - 1 = 0.
%e 1 is a term because A001615(2) - 2 = 1.
%e 3 is a term because A001615(9) - 9 = 3.
%t a[1] = 0; a[n_] := n * (Times @@ (1 + 1/FactorInteger[n][[;; , 1]]) - 1); Array[a, 100] (* _Amiram Eldar_, Sep 06 2019 *)
%o (PARI) a(n) = n*(sumdivmult(n, d, issquarefree(d)/d) - 1); \\ _Michel Marcus_, Mar 18 2019
%Y Cf. A000961, A001615, A024619, A051953, A082020.
%K nonn,easy
%O 1,4
%A _Torlach Rush_, Mar 16 2019
|