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.

Showing 1-10 of 23 results. Next

A072002 Highest prime dividing the least n-multiperfect number (A007539).

Original entry on oeis.org

3, 5, 7, 19, 257, 599479, 649657
Offset: 2

Views

Author

Lekraj Beedassy, Jun 18 2002

Keywords

Comments

a(9) may be 16148168401 but this has not been proved. - Charles R Greathouse IV, May 02 2013

Links

Crossrefs

Cf. A007539, A007691.

Extensions

a(8) from Sean A. Irvine, Sep 06 2012

A000396 Perfect numbers k: k is equal to the sum of the proper divisors of k.

Original entry on oeis.org

6, 28, 496, 8128, 33550336, 8589869056, 137438691328, 2305843008139952128, 2658455991569831744654692615953842176, 191561942608236107294793378084303638130997321548169216
Offset: 1

Views

Author

N. J. A. Sloane

Keywords

Comments

A number k is abundant if sigma(k) > 2k (cf. A005101), perfect if sigma(k) = 2k (this sequence), or deficient if sigma(k) < 2k (cf. A005100), where sigma(k) is the sum of the divisors of k (A000203).
The numbers 2^(p-1)*(2^p - 1) are perfect, where p is a prime such that 2^p - 1 is also prime (for the list of p's see A000043). There are no other even perfect numbers and it is believed that there are no odd perfect numbers.
Numbers k such that Sum_{d|k} 1/d = 2. - Benoit Cloitre, Apr 07 2002
For number of divisors of a(n) see A061645(n). Number of digits in a(n) is A061193(n). - Lekraj Beedassy, Jun 04 2004
All terms other than the first have digital root 1 (since 4^2 == 4 (mod 6), we have, by induction, 4^k == 4 (mod 6), or 2*2^(2*k) = 8 == 2 (mod 6), implying that Mersenne primes M = 2^p - 1, for odd p, are of the form 6*t+1). Thus perfect numbers N, being M-th triangular, have the form (6*t+1)*(3*t+1), whence the property N mod 9 = 1 for all N after the first. - Lekraj Beedassy, Aug 21 2004
The earliest recorded mention of this sequence is in Euclid's Elements, IX 36, about 300 BC. - Artur Jasinski, Jan 25 2006
Theorem (Euclid, Euler). An even number m is a perfect number if and only if m = 2^(k-1)*(2^k-1), where 2^k-1 is prime. Euler's idea came from Euclid's Proposition 36 of Book IX (see Weil). It follows that every even perfect number is also a triangular number. - Mohammad K. Azarian, Apr 16 2008
Triangular numbers (also generalized hexagonal numbers) A000217 whose indices are Mersenne primes A000668, assuming there are no odd perfect numbers. - Omar E. Pol, May 09 2008, Sep 15 2013
If a(n) is even, then 2*a(n) is in A181595. - Vladimir Shevelev, Nov 07 2010
Except for a(1) = 6, all even terms are of the form 30*k - 2 or 45*k + 1. - Arkadiusz Wesolowski, Mar 11 2012
a(4) = A229381(1) = 8128 is the "Simpsons's perfect number". - Jonathan Sondow, Jan 02 2015
Theorem (Farideh Firoozbakht): If m is an integer and both p and p^k-m-1 are prime numbers then x = p^(k-1)*(p^k-m-1) is a solution to the equation sigma(x) = (p*x+m)/(p-1). For example, if we take m=0 and p=2 we get Euclid's result about perfect numbers. - Farideh Firoozbakht, Mar 01 2015
The cototient of the even perfect numbers is a square; in particular, if 2^p - 1 is a Mersenne prime, cototient(2^(p-1) * (2^p - 1)) = (2^(p-1))^2 (see A152921). So, this sequence is a subsequence of A063752. - Bernard Schott, Jan 11 2019
Euler's (1747) proof that all the even perfect number are of the form 2^(p-1)*(2^p-1) implies that their asymptotic density is 0. Kanold (1954) proved that the asymptotic density of odd perfect numbers is 0. - Amiram Eldar, Feb 13 2021
If k is perfect and semiprime, then k = 6. - Alexandra Hercilia Pereira Silva, Aug 30 2021
This sequence lists the fixed points of A001065. - Alois P. Heinz, Mar 10 2024

Examples

			6 is perfect because 6 = 1+2+3, the sum of all divisors of 6 less than 6; 28 is perfect because 28 = 1+2+4+7+14.

References

  • Tom M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 4.
  • Albert H. Beiler, Recreations in the Theory of Numbers, Dover, NY, 2d ed. 1966, pp. 11-23.
  • Stanley J. Bezuszka, Perfect Numbers (Booklet 3, Motivated Math. Project Activities), Boston College Press, Chestnut Hill MA, 1980.
  • John H. Conway and Richard K. Guy, The Book of Numbers, New York: Springer-Verlag, 1996. See pp. 136-137.
  • Euclid, Elements, Book IX, Section 36, about 300 BC.
  • Jan Gullberg, Mathematics from the Birth of Numbers, W. W. Norton & Co., NY & London, 1997, §3.3 Perfect and Amicable Numbers, pp. 82-83.
  • R. K. Guy, Unsolved Problems in Number Theory, Springer, 1st edition, 1981. See section B1.
  • G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers. 3rd ed., Oxford Univ. Press, 1954, p. 239.
  • T. Koshy, "The Ends Of A Mersenne Prime And An Even Perfect Number", Journal of Recreational Mathematics, Baywood, NY, 1998, pp. 196-202.
  • Joseph S. Madachy, Madachy's Mathematical Recreations, New York: Dover Publications, Inc., 1979, p. 149 (First publ. by Charles Scribner's Sons, New York, 1966, under the title: Mathematics on Vacation).
  • Alfred S. Posamentier, Math Charmers, Tantalizing Tidbits for the Mind, Prometheus Books, NY, 2003, pages 46-48, 244-245.
  • Paulo Ribenboim, The Little Book of Bigger Primes, Springer-Verlag NY 2004. See pp. 83-87.
  • József Sándor and Borislav Crstici, Handbook of Number Theory, II, Springer Verlag, 2004.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • Ian Stewart, L'univers des nombres, "Diviser Pour Régner", Chapter 14, pp. 74-81, Belin-Pour La Science, Paris, 2000.
  • James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, chapter 4, pages 127-149.
  • Horace S. Uhler, On the 16th and 17th perfect numbers, Scripta Math., Vol. 19 (1953), pp. 128-131.
  • André Weil, Number Theory, An approach through history, From Hammurapi to Legendre, Birkhäuser, 1984, p. 6.
  • David Wells, The Penguin Dictionary of Curious and Interesting Numbers, pp. 107-110, Penguin Books, 1987.

Links

Crossrefs

See A000043 for the current state of knowledge about Mersenne primes.
Cf. A007539, A005820, A027687, A046060, A046061, A000668, A090748, A133033, A000217, A000384, A019279, A061652, A006516, A144912, A153800, A007593, A220290, A028499-A028502, A034916, A065549, A275496, A063752, A156552, A152921, A324201.
Cf. A228058 for Euler's criterion for odd terms.
Positions of 0's in A033879 and in A033880.
Subsequence of following sequences: A005835, A006039, A007691, A023196, A043305, A065997, A083207, A109510, A118372, A216782, A246282, A263837, A294900, A333646, A334410, A335267, A336702, A341622, A342922, A344755, A352739, A357462, and (the even terms), of: A005153, A063752, A174973, A336547, A338520.
Cf. A001065.

Programs

  • Haskell
    a000396 n = a000396_list !! (n-1)
a000396_list = [x | x <- [1..], a000203 x == 2 * x]
-- Reinhard Zumkeller, Jan 20 2012
  • Mathematica
    Select[Range[9000], DivisorSigma[1,#]== 2*# &] (* G. C. Greubel, Oct 03 2017 *)
PerfectNumber[Range[15]] (* Requires Mathematica version 10 or later *) (* Harvey P. Dale, Dec 10 2018 *)
  • PARI
    isA000396(n) = (sigma(n) == 2*n);
  • Python
    from sympy import divisor_sigma
def ok(n): return n > 0 and divisor_sigma(n) == 2*n
print([k for k in range(9999) if ok(k)]) # Michael S. Branicky, Mar 12 2022

Formula

The perfect number N = 2^(p-1)*(2^p - 1) is also multiplicatively p-perfect (i.e., A007955(N) = N^p), since tau(N) = 2*p. - Lekraj Beedassy, Sep 21 2004
a(n) = 2^A133033(n) - 2^A090748(n), assuming there are no odd perfect numbers. - Omar E. Pol, Feb 28 2008
a(n) = A000668(n)*(A000668(n)+1)/2, assuming there are no odd perfect numbers. - Omar E. Pol, Apr 23 2008
a(n) = A000217(A000668(n)), assuming there are no odd perfect numbers. - Omar E. Pol, May 09 2008
a(n) = Sum of the first A000668(n) positive integers, assuming there are no odd perfect numbers. - Omar E. Pol, May 09 2008
a(n) = A000384(A019279(n)), assuming there are no odd perfect numbers and no odd superperfect numbers. a(n) = A000384(A061652(n)), assuming there are no odd perfect numbers. - Omar E. Pol, Aug 17 2008
a(n) = A006516(A000043(n)), assuming there are no odd perfect numbers. - Omar E. Pol, Aug 30 2008
From Reikku Kulon, Oct 14 2008: (Start)
A144912(2, a(n)) = 1;
A144912(4, a(n)) = -1 for n > 1;
A144912(8, a(n)) = 5 or -5 for all n except 2;
A144912(16, a(n)) = -4 or -13 for n > 1. (End)
a(n) = A019279(n)*A000668(n), assuming there are no odd perfect numbers and odd superperfect numbers. a(n) = A061652(n)*A000668(n), assuming there are no odd perfect numbers. - Omar E. Pol, Jan 09 2009
a(n) = A007691(A153800(n)), assuming there are no odd perfect numbers. - Omar E. Pol, Jan 14 2009
Even perfect numbers N = K*A000203(K), where K = A019279(n) = 2^(p-1), A000203(A019279(n)) = A000668(n) = 2^p - 1 = M(p), p = A000043(n). - Lekraj Beedassy, May 02 2009
a(n) = A060286(A016027(n)), assuming there are no odd perfect numbers. - Omar E. Pol, Dec 13 2012
For n >= 2, a(n) = Sum_{k=1..A065549(n)} (2*k-1)^3, assuming there are no odd perfect numbers. - Derek Orr, Sep 28 2013
a(n) = A275496(2^((A000043(n) - 1)/2)) - 2^A000043(n), assuming there are no odd perfect numbers. - Daniel Poveda Parrilla, Aug 16 2016
a(n) = A156552(A324201(n)), assuming there are no odd perfect numbers. - Antti Karttunen, Mar 28 2019
a(n) = ((2^(A000043(n)))^3 - (2^(A000043(n)) - 1)^3 - 1)/6, assuming there are no odd perfect numbers. - Jules Beauchamp, Jun 06 2025

Extensions

I removed a large number of comments that assumed there are no odd perfect numbers. There were so many it was getting hard to tell which comments were true and which were conjectures. - N. J. A. Sloane, Apr 16 2023
Reference to Albert H. Beiler's book updated by Harvey P. Dale, Jan 13 2025

A007691 Multiply-perfect numbers: n divides sigma(n).

Original entry on oeis.org

1, 6, 28, 120, 496, 672, 8128, 30240, 32760, 523776, 2178540, 23569920, 33550336, 45532800, 142990848, 459818240, 1379454720, 1476304896, 8589869056, 14182439040, 31998395520, 43861478400, 51001180160, 66433720320, 137438691328, 153003540480, 403031236608
Offset: 1

Views

Author

N. J. A. Sloane, Robert G. Wilson v

Keywords

Comments

sigma(n)/n is in A054030.
Also numbers such that the sum of the reciprocals of the divisors is an integer. - Harvey P. Dale, Jul 24 2001
Luca's solution of problem 11090, which proves that for k>1 there are an infinite number of n such that n divides sigma_k(n), does not apply to this sequence. However, it is conjectured that this sequence is also infinite. - T. D. Noe, Nov 04 2007
Numbers k such that sigma(k) is divisible by all divisors of k, subsequence of A166070. - Jaroslav Krizek, Oct 06 2009
A017666(a(n)) = 1. - Reinhard Zumkeller, Apr 06 2012
Bach, Miller, & Shallit show that this sequence can be recognized in polynomial time with arbitrarily small error by a probabilistic Turing machine; that is, this sequence is in BPP. - Charles R Greathouse IV, Jun 21 2013
Conjecture: If n is such that 2^n-1 is in A066175 then a(n) is a triangular number. - Ivan N. Ianakiev, Aug 26 2013
Conjecture: Every multiply-perfect number is practical (A005153). I've verified this conjecture for the first 5261 terms with abundancy > 2 using Achim Flammenkamp's data. The even perfect numbers are easily shown to be practical, but every practical number > 1 is even, so a weak form says every even multiply-perfect number is practical. - Jaycob Coleman, Oct 15 2013
Numbers such that A054024(n) = 0. - Michel Marcus, Nov 16 2013
Numbers n such that k(n) = A229110(n) = antisigma(n) mod n = A024816(n) mod n = A000217(n) mod n = (n(n+1)/2) mod n = A142150(n). k(n) = n/2 for even n; k(n) = 0 for odd n (for number 1 and eventually odd multiply-perfect numbers n > 1). - Jaroslav Krizek, May 28 2014
The only terms m > 1 of this sequence that are not in A145551 are m for which sigma(m)/m is not a divisor of m. Conjecture: after 1, A323653 lists all such m (and no other numbers). - Antti Karttunen, Mar 19 2021

Examples

			120 is OK because divisors of 120 are {1,2,3,4,5,6,8,10,12,15,20,24,30,40,60,120}, the sum of which is 360=120*3.

References

  • A. H. Beiler, Recreations in the Theory of Numbers, Dover, NY, 1964, p. 22.
  • J. Roberts, Lure of the Integers, Math. Assoc. America, 1992, p. 176.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • I. Stewart, L'univers des nombres, "Les nombres multiparfaits", Chapter 15, pp. 82-88, Belin-Pour La Science, Paris 2000.
  • James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, pages 141-148.
  • David Wells, The Penguin Dictionary of Curious and Interesting Numbers, Penguin Books, 1987, pp. 135-136.

Links

Crossrefs

Complement is A054027. Cf. A000203, A054030.
Cf. A000396, A005820, A027687, A046060, A046061, for subsequences of terms with quotient sigma(n)/n = 2..6.
Other subsequences: A046985, A046986, A046987, A047728, A065997, A066289, (A076231, A076233, A076234), A088844, A088845, A088846, A091443, A114887, A166069, A245782, A260508, A306667, (A325021 U A325022), (A325023 U A325024), (A325025 U A325026), A325637, A323653, A330532, (A330533 U A331724), A336702, A341045.
Subsequence of the following sequences: A011775, A071707, A083865, A089748 (after the initial 1), A102783, A166070, A175200, A225110, A226476, A237719, A245774, A246454, A259307, A263928, A282775, A323652, A336745, A340864. Also conjectured to be a subsequence of A005153, of A307740, and after 1 also of A295078.
Various number-theoretical functions applied to these numbers: A088843 [tau], A098203 [phi], A098204 [gcd(a(n),phi(a(n)))], A134665 [2-adic valuation], A307741 [sigma], A308423 [product of divisors], A320024 [the odd part], A134740 [omega], A342658 [bigomega], A342659 [smallest prime not dividing], A342660 [largest prime divisor].
Positions of ones in A017666, A019294, A094701, A227470, of zeros in A054024, A082901, A173438, A272008, A318996, A326194, A341524. Fixed points of A009194.
Cf. A069926, A330746 (left inverses, when applied to a(n) give n).
Cf. A007358, A189000, A327158, A332318/A332319 (for analogs) and A046762, A046763, A046764, A055715, A056006, A081756, A214842, A227302, A227306, A245775, A300906, A325639 (other variants).
Cf. (other related sequences) A007539, A066135, A066961, A093034, A094467, A134639, A145551, A019278, A194771 [= 2*a(n)], A219545, A229110, A262432, A335830, A336849, A341608.

Programs

  • Haskell
    a007691 n = a007691_list !! (n-1)
a007691_list = filter ((== 1) . a017666) [1..]
-- Reinhard Zumkeller, Apr 06 2012
  • Mathematica
    Do[If[Mod[DivisorSigma[1, n], n] == 0, Print[n]], {n, 2, 2*10^11}] (* or *)
Transpose[Select[Table[{n, DivisorSigma[-1, n]}, {n, 100000}], IntegerQ[ #[[2]] ]& ] ][[1]]
(* Third program: *)
Select[Range[10^6], IntegerQ@ DivisorSigma[-1, #] &] (* Michael De Vlieger, Mar 19 2021 *)
  • PARI
    for(n=1,1e6,if(sigma(n)%n==0, print1(n", ")))
  • Python
    from sympy import divisor_sigma as sigma
def ok(n): return sigma(n, 1)%n == 0
print([n for n in range(1, 10**4) if ok(n)]) # Michael S. Branicky, Jan 06 2021

Extensions

More terms from Jud McCranie and then from David W. Wilson.
Incorrect comment removed and the crossrefs-section reorganized by Antti Karttunen, Mar 20 2021

A005820 3-perfect (triply perfect, tri-perfect, triperfect or sous-double) numbers: numbers such that the sum of the divisors of n is 3n.

Original entry on oeis.org

120, 672, 523776, 459818240, 1476304896, 51001180160
Offset: 1

Views

Author

N. J. A. Sloane

Keywords

Comments

These six terms are believed to comprise all 3-perfect numbers. - cf. the MathWorld link. - Daniel Forgues, May 11 2010
If there exists an odd perfect number m (a famous open problem) then 2m would be 3-perfect, since sigma(2m) = sigma(2)*sigma(m) = 3*2m. - Jens Kruse Andersen, Jul 30 2014
According to the previous comment from Jens Kruse Andersen, proving that this sequence is complete would imply that there are no odd perfect numbers. - Farideh Firoozbakht, Sep 09 2014
If 2 were prepended to this sequence, then it would be the sequence of integers k such that numerator(sigma(k)/k) = A017665(k) = 3. - Michel Marcus, Nov 22 2015
From Antti Karttunen, Mar 20 2021, Sep 18 2021, (Start):
Obviously, any odd triperfect numbers k, if they exist, have to be squares for the condition sigma(k) = 3*k to hold, as sigma(k) is odd only for k square or twice a square. The square root would then need to be a term of A097023, because in that case sigma(2*k) = 9*k. (See illustration in A347391).
Conversely to Jens Kruse Andersen's comment above, any 3-perfect number of the form 4k+2 would be twice an odd perfect number. See comment in A347870.
(End)

Examples

			120 = 2^3*3*5;  sigma(120) = (2^4-1)/1*(3^2-1)/2*(5^2-1)/4 = (15)*(4)*(6) = (3*5)*(2^2)*(2*3) = 2^3*3^2*5 = (3) * (2^3*3*5) = 3 * 120. - _Daniel Forgues_, May 09 2010

References

  • J.-M. De Koninck, Ces nombres qui nous fascinent, Entry 120, p. 42, Ellipses, Paris 2008.
  • R. K. Guy, Unsolved Problems in Number Theory, B2.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • I. Stewart, L'univers des nombres, "Les nombres multiparfaits", Chap.15, pp 82-5, Belin/Pour la Science, Paris 2000.
  • James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, page 142.
  • David Wells, "The Penguin Book of Curious and Interesting Numbers," Penguin Books, London, 1986, pages 135, 159 and 185.

Links

Crossrefs

Cf. A000203, A000396, A007539, A017665, A019278, A027687, A046060, A046061, A068403, A075701, A097023, A171266, A259302, A259303, A306373, A326051, A326181, A329189, A335141, A335254, A347383, A347391.
Subsequence of the following sequences: A007691, A069085, A153501, A216780, A292365, A336458, A336461, A336745, and if there are no odd terms, then also of A334410.
Positions of 120's in A094759, 119's in A326200.

Programs

Formula

a(n) = 2*A326051(n). [provided no odd triperfect numbers exist] - Antti Karttunen, Jun 13 2019

Extensions

Wells gives the 6th term as 31001180160, but this is an error.
Edited by Farideh Firoozbakht and N. J. A. Sloane, Sep 09 2014 to remove some incorrect statements.

A027687 4-perfect (quadruply-perfect or sous-triple) numbers: sum of divisors of n is 4n.

Original entry on oeis.org

30240, 32760, 2178540, 23569920, 45532800, 142990848, 1379454720, 43861478400, 66433720320, 153003540480, 403031236608, 704575228896, 181742883469056, 6088728021160320, 14942123276641920, 20158185857531904, 275502900594021408
Offset: 1

Views

Author

Jean-Yves Perrier (nperrj(AT)ascom.ch)

Keywords

Comments

It is conjectured that there are only finitely many terms. - N. J. A. Sloane, Jul 22 2012
Odd perfect number (unlikely to exist) and infinitely many Mersenne primes will make the sequence infinite - take the product of the OPN and coprime EPNs.
Conjecture: A010888(a(n)) divides a(n). Tested for n up to 36 incl. - Ivan N. Ianakiev, Oct 31 2013
From Farideh Firoozbakht, Dec 26 2014: (Start)
Theorem: If k>1 and p=a(n)/2^(k-2)+1 is prime then for each positive integer m, 2^(k-1)*p^m is a solution to the equation sigma(phi(x))=2*x-2^k, which implies the equation has infinitely many solutions.
Proof: sigma(phi(2^(k-1)*p^m)) = sigma(2^(k-2)*(p-1)*p^(m-1)) = sigma(2^(k-2)*(p-1))*sigma(p^(m-1)) = sigma(a(n))*(p^m-1)/(p-1) = 4*a(n)*(p^m-1)/(p-1) = 2^k*(p^m-1) = 2*(2^(k-1)*p^m)-2^k.
It seems that for all such equations there exist such an infinite set of solutions. So I conjecture that the sequence is infinite! (End)
If 3 were prepended to this sequence, then it would be the sequence of integers k such that numerator(sigma(k)/k)=4. - Michel Marcus, Nov 22 2015

Examples

			From _Daniel Forgues_, May 09 2010: (Start)
30240 = 2^5*3^3*5*7
sigma(30240) = (2^6-1)/1*(3^4-1)/2*(5^2-1)/4*(7^2-1)/6
= (63)*(40)*(6)*(8)
= (7*3^2)*(2^3*5)*(2*3)*(2^3)
= 2^7*3^3*5*7
= (2^2) * (2^5*3^3*5*7)
= 4 * 30240 (End)

References

  • R. K. Guy, Unsolved Problems in Number Theory, B2.
  • James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, page 143.

Links

Crossrefs

Cf. A000396, A005820, A007539, A046060, A046061.

Programs

Extensions

4 more terms from Labos Elemer

A046060 5-multiperfect numbers.

Original entry on oeis.org

14182439040, 31998395520, 518666803200, 13661860101120, 30823866178560, 740344994887680, 796928461056000, 212517062615531520, 69357059049509038080, 87934476737668055040, 170206605192656148480, 1161492388333469337600, 1245087725796543283200, 1802582780370364661760
Offset: 1

Views

Author

Eric W. Weisstein

Keywords

Comments

Conjectured finite and probably these are the only terms; cf. Flammenkamp's link. [Georgi Guninski, Jul 25 2012]

Examples

			From _Daniel Forgues_, May 09 2010: (Start)
14182439040 = 2^7*3^4*5*7*11^2*17*19
sigma(14182439040)
  = (2^8-1)/1*(3^5-1)/2*(5^2-1)/4*(7^2-1)/6*(11^3-1)/10*(17^2-1)/16*(19^2-1)/18
  = (255)*(121)*(6)*(8)*(133)*(18)*(20)
  = (3*5*17)*(11^2)*(2*3)*(2^3)*(7*19)*(2*3^2)*(2^2*5)
  = 2^7*3^4*5^2*7*11^2*17*19
  = (5) * (2^7*3^4*5*7*11^2*17*19)
  = 5 * 14182439040 (End)

References

  • James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, page 143.

Links

Crossrefs

Cf. A000396, A005820, A027687, A046061, A007539.

Programs

A023199 a(n) is the least k with sigma(k) >= n*k.

Original entry on oeis.org

1, 6, 120, 27720, 122522400, 130429015516800, 1970992304700453905270400, 1897544233056092162003806758651798777216000, 4368924363354820808981210203132513655327781713900627249499856876120704000
Offset: 1

Views

Author

David W. Wilson

Keywords

Comments

Following a suggestion from Ed Pegg Jr, the sequence can be written in a more readable form as: 1!, 3!, 5!, 11# * 3! * 2, 17# * 5! * 2, 29# * 7! * 4, 53# * 7! * 12, 89# * 11! * 2, 157# * 17# * 8! * 6, 271# * 23# * 10!, 487# * 29# * 10!, 857# * 37# * 11! * 42, 1487# * 53# * 15! * 2, ..., where p# = primorial(p) = A034386.
From T. D. Noe, Jul 06 2005: (Start)
Let c(p) be the smallest colossally-abundant number having the prime factor p. See A073751 for info about computing these numbers.
Then the terms of this sequence can be expressed as
a(2) = c(3)
a(3) = c(5) * 2
a(4) = c(11) / 2
a(5) = c(17) / 3
a(6) = c(29) * 14
a(7) = c(53)
a(8) = c(89) * 4
a(9) = c(157) * 34
a(10) = c(271) * 23
a(11) = c(487) / 2
a(12) = c(857) / 2
a(13) = c(1487) * 212
a(14) = c(2621) * 710
a(15) = c(4567) * 2/21
a(16) = c(8011) / 2
a(17) = c(13999) * 1630. (End)
Initially, each term is divisible by the previous one. Is there a reason this should always be true? - Santi Spadaro, Aug 13 2002
The conjecture a(n)|a(n+1) holds out to n=10. - Devin Kilminster (devin(AT)maths.uwa.edu.au), Mar 10 2003
The conjecture a(n)|a(n+1) fails for n=15. - T. D. Noe, Jul 08 2005
We have a(n) = min{A007539(n), A134716(n)}, and clearly A007539(n) != A134716(n) for every n. For what values of n is the former less than the latter? - Jeppe Stig Nielsen, Jun 16 2015

Links

Crossrefs

A subsequence of A004394.
The dominating primes are in A108402.
Cf. A000203 (sigma), A007539, A034386, A073751, A134716.

Programs

  • PARI
    a(n) = my(k=1); while (sigma(k)/k < n, k++); k; \\ Michel Marcus, Oct 07 2019

Extensions

More terms from Walter Nissen, Apr 15 1997
Further terms from Devin Kilminster (devin(AT)maths.uwa.edu.au), Mar 10 2003
The term a(10) = 271#23#10! was apparently found independently by Bodo Zinser and Don Reble, circa Jul 05 2005
The next term, a(11) = 487#29#10!, was corrected by Don Reble, Jul 06 2005
a(12) = 857#37#11!42 from Don Reble, Jul 06 2005
a(13) = 1487#53#15!2 found by T. D. Noe and confirmed by Don Reble, Jul 07 2005
a(14)-a(17) found by T. D. Noe and rechecked by him Oct 11 2005
a(15) corrected. The conjecture still fails at n=15. - T. D. Noe, Oct 13 2009

A046061 6-multiperfect numbers.

Original entry on oeis.org

154345556085770649600, 9186050031556349952000, 680489641226538823680000, 6205958672455589512937472000, 13297004660164711617331200000, 15229814702070563916152832000
Offset: 1

Views

Author

Eric W. Weisstein

Keywords

Comments

Conjectured finite and probably these are the only terms; cf. Flammenkamp's link. - Georgi Guninski, Jul 25 2012

Examples

			From _Daniel Forgues_, May 09 2010: (Start)
154345556085770649600 = 2^15*3^5*5^2*7^2*11*13*17*19*31*43*257
sigma(154345556085770649600) =
(2^16-1)/1*(3^6-1)/2*(5^3-1)/4*(7^3-1)/6*(11^2-1)/10*(13^2-1)/12*(17^2-1)/16*(19^2-1)/18*(31^2-1)/30*(43^2-1)/42*(257^2-1)/256
= 65535*364*31*57*12*14*18*20*32*44*258
= (5*3*17*257)*(2^2*7*13)*(31)*(3*19)*(2^2*3)*(2*7)*(2*3^2)*(2^2*5)*(2^5)*(2^2*11)*(2*3*43)
= 2^16*3^6*5^2*7^2*11*13*17*19*31*43*257
= (2*3) * (2^15*3^5*5^2*7^2*11*13*17*19*31*43*257)
= 6 * 154345556085770649600 (End)

References

  • James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, page 144.

Links

Crossrefs

Cf. A000396, A005820, A027687, A046060, A007539.

Programs

A055153 Numbers k such that sigma(k) = 7k/2.

Original entry on oeis.org

4320, 4680, 26208, 20427264, 197064960, 21857648640, 57575890944, 88898072401645056, 301183421949935616, 9083288595228991885541376, 22290964134962716779872256, 230361837156847526055247872
Offset: 1

Views

Author

Jud McCranie, Jun 16 2000

Keywords

Examples

			Sigma(4320)=15120=7*4320/2, so 4320 is in the sequence.

Links

Crossrefs

Cf. A007539, A000396, A005820, A027687, A000203, A141643, A141645.

Programs

  • Mathematica
    Do[If[DivisorSigma[1, m]==3.5*m, Print[m]], {m, 2*10^8}]
  • PARI
    is(k)=sigma(k,-1)==7/2 \\ Charles R Greathouse IV, Mar 09 2014

Extensions

Terms confirmed through a(5) by Ray Chandler, Sep 18 2008
a(6) and a(7) found by Yasutoshi Kohmoto and confirmed by Washington Bomfim, Oct 19 2008
Edited by N. J. A. Sloane, Sep 19 2008, Apr 18 2009
a(9) from Avinoam Kalma, a(12) from Yasutoshi Kohmoto, and a(8), a(10), a(13)-a(21) from Michel Marcus, added by Gerard P. Michon, Jun 04 2009

A272930 a(n) is the least k such that sigma(sigma(k)) = n*k, where sigma(n) is the sum of the divisors of n, or 0 if no such k exists.

Original entry on oeis.org

1, 2, 8, 15
Offset: 1

Views

Author

Franklin T. Adams-Watters, May 11 2016

Keywords

Comments

If a(5) is not zero, it exceeds 5*10^11 (see A098223). Likewise for a(17).
a(6) to a(16) are 42, 24, 60, 168, 480, 4404480, 2200380, 57120, 217728, 1058148, 7526400. a(18) is 39352320.
Is a(n) in fact nonzero for every positive n? - Franklin T. Adams-Watters, Jan 22 2019 [who previously conjectured that it is]
a(19) to a(26) are 312792480, 1505806848, 341543854080, 83825280, 13460388480, 8530704000, 58350015360, 284430182400. - Michel Marcus, May 18 2016
From Michel Marcus, May 18 2016; Jul 19 2016, Aug 23 2016, Sep 06 2016: (Start)
a(17) <= 336421458837032140800;
a(27) <= 4641476998878720;
a(28) <= 23479734980782080;
a(29) <= 4670834235654671884800;
a(30) <= 7526652811748265000960;
a(31) <= 45781120625942782080;
a(32) <= 242094947364010540800;
a(33) <= 216462850095065333760000;
a(34) <= 2366077977040955880819916800;
a(35) <= 8076837429313362044375040000;
a(36) <= 2634106558176405916291008921600;
a(37) <= 299500004890186577026355605378405509365760000000;
a(38) <= 45103591381041833364829469933568000. (End)

Examples

			sigma(8) = 15. sigma(15) = 24 = 3*8. Since this does not work for any value smaller than 8, a(3) = 8.

Links

  • See the links in A019278. - _Altug Alkan_, May 31 2016 and May 18 2016

Crossrefs

Cf. A000203 (sigma), A098223, A051027, A019279, A007539, A019278.

Programs

  • Maple
    with(numtheory):
a:=proc(n) local k :
for k while sigma(sigma(k))<>n*k do od : k end: # Robert FERREOL, Apr 11 2018
  • Mathematica
    Table[SelectFirst[Range[10^2], Nest[DivisorSigma[1, #] &, #, 2] == n # &], {n, 4}] (* Michael De Vlieger, May 11 2016, Version 10 *)
  • PARI
    a(n)=my(r=1);while(sigma(sigma(r))!=n*r,r++);r \\ works only if a(n) is not zero.
Showing 1-10 of 23 results. Next

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.