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!)
A063869 Least k such that sigma(k)=m^n for some m>1. 3
2, 3, 7, 217, 21, 2667, 93, 217, 381, 651, 2752491, 2667, 8191, 11811, 24573, 57337, 82677, 172011, 393213, 761763, 1572861, 2752491, 5332341, 11010027, 21845397, 48758691, 85327221, 199753347, 341310837, 677207307, 1398273429, 3220807683 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
COMMENTS
For n=2 to 20 sigma(a(n)) = m^n with m=2 or m=4. Computed terms are products of Mersenne primes (A000608). Is this true for larger n? Validity of a(11) was tested individually.
The Nagell-Ljunggren conjecture implies that sigma(x) is never 3^n for n>1. If this is true, then m=2 and m=4 are the smallest possible solutions. When A063883(n)>0, we can take m=2 and, as explained by Brown, find k to be a product of Mersenne primes (i.e. one of the numbers in A046528). When A063883(n)=0, which is true for the n in A078426, then m=4 and we have a(n)=a(2n) because 4=2^2. - T. D. Noe, Oct 18 2006
Sierpiński says that he proved sigma(x) is never 3^r for r>1. Hence m=2 and m=4 are the smallest possible solutions. When A063883(n)>0, we can take m=2 and, as explained by Brown, find k to be a product of Mersenne primes (i.e. one of the numbers in A046528). When A063883(n)=0, which is true for the n in A078426, then m=4 and we have a(n)=a(2n) because 4=2^2. - T. D. Noe, Oct 18 2006
LINKS
W. Sierpiński, Elementary Theory of Numbers, Warszawa 1964, page 165.
FORMULA
a(n) = Min{x : A000203(x)=m^n} for some m.
EXAMPLE
For n = 11, sigma(a(n)) = sigma(2752491) = sigma(3 * 7 * 131071) = 4^11.
MATHEMATICA
d={2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253}; nn=3700; t=Table[Infinity, {nn}]; t[[1]]=2; u={0}; k=1; While[2+d[[k]]<=nn, mer=2^d[[k]]-1; Do[a=u[[i]]+d[[k]]; If[a<=nn, If[u[[i]]==0, t[[a]]=Min[t[[a]], mer], t[[a]]=Min[t[[a]], t[[u[[i]]]]*mer]]], {i, Length[u]}]; u=Union[u, u+d[[k]]]; k++ ]; Do[If[t[[i]]==Infinity, t[[i]]=t[[2i]]], {i, nn}]; t (* T. D. Noe, Oct 13 2006 *)
c[_] = 0; c[1] = 2; r = 1; Do[S = If[# > 1, Rest@ Divisors@ #, 0] &[GCD @@ FactorInteger[DivisorSigma[1, i]][[All, -1]]]; If[Length[S] > 0, Map[If[c[#] == 0, Set[c[#], i]] &, S]; If[# > r, r = #] &@ Max@ S], {i, 2^22}]; TakeWhile[Array[c, r], # > 0 &]] (* Michael De Vlieger, May 23 2022 *)
PROG
(PARI) a(n) = my(k=2); while (!ispower(sigma(k), n), k++); k; \\ Michel Marcus, May 23 2022
CROSSREFS
Sequence in context: A266269 A053942 A053954 * A079637 A062662 A084727
KEYWORD
nonn
AUTHOR
Labos Elemer, Aug 27 2001
EXTENSIONS
a(24) corrected by T. D. Noe, Oct 15 2006
STATUS
approved

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 March 29 11:45 EDT 2024. Contains 371278 sequences. (Running on oeis4.)