OFFSET
1,6
REFERENCES
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 840.
Tom M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 24.
LINKS
Antti Karttunen, Table of n, a(n) for n = 1..16384
Antti Karttunen, Data supplement: n, a(n) computed for n = 1..65537
FORMULA
a(n) = n - A062570(n).
a(2^k) = 0, k >= 0. - Michel Lagneau, Dec 17 2010
a(2^m*A000040(k)) = 2^m, m >= 1, k >= 2. - Michel Lagneau, Dec 17 2010
Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = 1 - 8/Pi^2 = 0.1894305... . - Amiram Eldar, Dec 21 2023
EXAMPLE
a(1) = 1 - phi(2) = 0;
a(2) = 2 - phi(2*2) = 2 - 2 = 0;
a(3) = 3 - phi(2*3) = 3 - 2 = 1;
If n = (2^m)*p, with m = 3 and p = 7, then n = 2^3 * 7 = 56, and a(56) = 2^3 = 8.
MATHEMATICA
Table[n-EulerPhi[2n], {n, 0, 100}] (* Harvey P. Dale, Jul 24 2011 *)
PROG
(PARI) A176095(n) = (n-eulerphi(n+n)); \\ Antti Karttunen, May 19 2021
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Michel Lagneau, Apr 08 2010
EXTENSIONS
Offset corrected; entry corrected and edited by Michel Lagneau, Apr 25 2010
STATUS
approved