login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A263811 Numbers k such that k = tau(k) * phi(k-1) + 1. 1

%I #23 Sep 30 2023 09:22:57

%S 3,5,17,25,49,257,289,65537

%N Numbers k such that k = tau(k) * phi(k-1) + 1.

%C Numbers k such that k = A000005(k) * A000010(k-1) + 1.

%C The first 5 known Fermat primes from A019434 are in this sequence.

%C The next term, if it exists, must be greater than 2*10^7.

%C A prime p is in the sequence iff p is a Fermat prime (A019434) - see proof in A171271.

%C Observation: the known composite terms are squares of primes. - _Omar E. Pol_, Nov 04 2015

%C From _Charlie Neder_, Mar 02 2019: (Start)

%C Rearranging the definition gives (k-1)/phi(k-1) = tau(k), which means k-1 is in A007694. Since k-1 is thus 3-smooth, there are two possibilities:

%C 1) k-1 is a power of 2 and tau(k) = 2, i.e., k is a Fermat prime,

%C 2) k-1 is a 3-smooth number divisible by 6 and tau(k) = 3, i.e., k is a Pierpont number and the square of a prime.

%C In the second case, k-1 factors as (p-1)(p+1) for some p, and both parts are 3-smooth if and only if p is in {2,3,5,7,17} (2 and 3 are excluded since in those cases k-1 is not divisible by 6). Therefore, this sequence is complete if and only if there are no more Fermat primes. (End)

%e 17 is in this sequence because 17 = tau(17)*phi(16) + 1 = 2*8 + 1.

%t Select[Range[10^5], # == DivisorSigma[0, #] EulerPhi[# - 1] + 1 &] (* _Michael De Vlieger_, Nov 05 2015 *)

%o (Magma) [n: n in [2..1000000] | n eq NumberOfDivisors(n) * EulerPhi(n-1) + 1]

%o (PARI) for(n=1, 1e5, if( n-1 == numdiv(n)*eulerphi(n-1) , print1(n, ", "))) \\ _Altug Alkan_, Nov 05 2015

%Y Cf. A000005, A000010, A019434.

%Y Cf. A263810 (numbers k such that k = tau(k) * phi(k-2) + 1).

%K nonn,hard,more

%O 1,1

%A _Jaroslav Krizek_, Nov 04 2015

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 19 21:09 EDT 2024. Contains 371798 sequences. (Running on oeis4.)