|
|
A051488
|
|
Numbers k such that phi(k) < phi(k - phi(k)).
|
|
5
|
|
|
30, 60, 66, 120, 132, 138, 174, 210, 240, 246, 264, 276, 318, 330, 348, 420, 480, 492, 498, 510, 528, 534, 552, 630, 636, 660, 678, 690, 696, 786, 840, 870, 910, 960, 984, 996, 1020, 1038, 1056, 1068, 1074, 1104, 1122, 1146, 1260, 1272, 1320, 1330, 1356
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,1
|
|
COMMENTS
|
If p is a Sophie Germain prime greater than 3 and n is a natural number then 2^n*3*p is in the sequence. That is because if m = 2^n*3*p then phi(m) = 2^n*(p-1) and phi(m - phi(m)) = phi(2^n*3*p - 2^n*(p-1)) = phi(2^n*(2p+1)) = 2^n*p so phi(m) < phi(m-phi(m)) and m is in the sequence. - Farideh Firoozbakht, Jun 19 2005
Erdős (1980) proposed the problem to prove that this sequence is infinite and has an asymptotic density 0. Grytczuk et al. (2001) proved that this sequence is infinite with an upper asymptotic density < 0.45637. - Amiram Eldar, May 22 2021
|
|
REFERENCES
|
Richard K. Guy, Unsolved Problems in Number Theory, 3rd Edition, Springer, 2004, Section B42, p. 150.
József Sándor, Dragoslav S. Mitrinovic and Borislav Crstici, Handbook of Number Theory I, Springer Science & Business Media, 2005, Chapter III, p. 209.
|
|
LINKS
|
Paul Erdős, Problem P. 294, Canad. Math. Bull., Vol. 23, No. 4 (1980), p. 505.
|
|
MATHEMATICA
|
Select[Range[1360], EulerPhi[ # ] < EulerPhi[ # - EulerPhi[ # ]] &] (* Farideh Firoozbakht, Jun 19 2005 *)
|
|
PROG
|
(Haskell)
a051488 n = a051488_list !! (n-1)
a051488_list = [x | x <- [2..], let t = a000010 x, t < a000010 (x - t)]
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,nice,easy
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|