cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

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

This page as a plain text file.
%I A263811 #27 Mar 16 2025 02:38:50
%S A263811 3,5,17,25,49,257,289,65537
%N A263811 Numbers k such that k = tau(k) * phi(k-1) + 1.
%C A263811 Numbers k such that k = A000005(k) * A000010(k-1) + 1.
%C A263811 The first 5 known Fermat primes from A019434 are in this sequence.
%C A263811 The next term, if it exists, must be greater than 2*10^7.
%C A263811 A prime p is in the sequence iff p is a Fermat prime (A019434) - see proof in A171271.
%C A263811 Observation: the known composite terms are squares of primes. - _Omar E. Pol_, Nov 04 2015
%C A263811 From _Charlie Neder_, Mar 02 2019: (Start)
%C A263811 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 A263811 1) k-1 is a power of 2 and tau(k) = 2, i.e., k is a Fermat prime,
%C A263811 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 A263811 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 A263811 17 is in this sequence because 17 = tau(17)*phi(16) + 1 = 2*8 + 1.
%t A263811 Select[Range[10^5], # == DivisorSigma[0, #] EulerPhi[# - 1] + 1 &] (* _Michael De Vlieger_, Nov 05 2015 *)
%o A263811 (Magma) [n: n in [2..1000000] |  n eq NumberOfDivisors(n) * EulerPhi(n-1) + 1];
%o A263811 (PARI) for(n=1, 1e5, if( n-1 == numdiv(n)*eulerphi(n-1) , print1(n, ", "))) \\ _Altug Alkan_, Nov 05 2015
%Y A263811 Cf. A000005, A000010, A019434.
%Y A263811 Cf. A263810 (numbers k such that k = tau(k) * phi(k-2) + 1).
%K A263811 nonn,hard,more
%O A263811 1,1
%A A263811 _Jaroslav Krizek_, Nov 04 2015