OFFSET
1,2
COMMENTS
LINKS
John and Caleb Stanford (Math StackExchange), A possible Property of Euler's totient function: n such that phi(n) and phi(n+1) are both powers of two
FORMULA
a(n) = 2^2^k - 1 for k = 0, 1, 2, 3, 4, 5, equivalently the product of first k Fermat numbers, OR a(n) = 5. Sequence is finite because the next Fermat number, 4294967297 is composite.
EXAMPLE
5 is present because phi(5) = 4 and phi(6) = 2, both powers of two.
15 is present because phi(15) = 8 and phi(16) = 8, both powers of two.
17 is not present because phi(17) = 16 but phi(18) = 6, not a power of two.
CROSSREFS
KEYWORD
nonn,fini,full
AUTHOR
Caleb Stanford, Apr 05 2025
STATUS
approved
