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-3 of 3 results.

A005179 Smallest number with exactly n divisors.

Original entry on oeis.org

1, 2, 4, 6, 16, 12, 64, 24, 36, 48, 1024, 60, 4096, 192, 144, 120, 65536, 180, 262144, 240, 576, 3072, 4194304, 360, 1296, 12288, 900, 960, 268435456, 720, 1073741824, 840, 9216, 196608, 5184, 1260, 68719476736, 786432, 36864, 1680, 1099511627776, 2880
Offset: 1

Views

Author

N. J. A. Sloane, David Singmaster

Keywords

Comments

A number n is called ordinary iff a(n)=A037019(n). Brown shows that the ordinary numbers have density 1 and all squarefree numbers are ordinary. See A072066 for the extraordinary or exceptional numbers. - M. F. Hasler, Oct 14 2014
All terms are in A025487. Therefore, a(n) is even for n > 1. - David A. Corneth, Jun 23 2017 [corrected by Charles R Greathouse IV, Jul 05 2023]

References

  • M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 840.
  • L. E. Dickson, History of the Theory of Numbers. Carnegie Institute Public. 256, Washington, DC, Vol. 1, 1919; Vol. 2, 1920; Vol. 3, 1923, see vol. 1, p. 52.
  • Joe Roberts, Lure of the Integers, Math. Assoc. America, 1992, p. 86.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, page 89.

Crossrefs

Programs

  • Haskell
    import Data.List (elemIndex)
    import Data.Maybe (fromJust)
    a005179 n = succ $ fromJust $ elemIndex n $ map a000005 [1..]
    -- Reinhard Zumkeller, Apr 01 2011
    
  • Maple
    A005179_list := proc(SearchLimit, ListLength)
    local L, m, i, d; m := 1;
    L := array(1..ListLength,[seq(0,i=1..ListLength)]);
    for i from 1 to SearchLimit while m <= ListLength do
      d := numtheory[tau](i);
      if d <= ListLength and 0 = L[d] then L[d] := i;
      m := m + 1; fi
    od:
    print(L) end: A005179_list(65537,18);
    # If a '0' appears in the list the search limit has to be increased. - Peter Luschny, Mar 09 2011
    # alternative
    # Construct list of ordered lists of factorizations of n with
    # minimum divisors mind.
    # Returns a list with A001055(n) entries if called with mind=2.
    # Example: print(ofact(10^3,2))
    ofact := proc(n,mind)
        local fcts,d,rec,r ;
        fcts := [] ;
        for d in numtheory[divisors](n) do
            if d >= mind then
                if d = n then
                    fcts := [op(fcts),[n]] ;
                else
                    # recursive call supposed one more factor fixed now
                    rec := procname(n/d,max(d,mind)) ;
                    for r in rec do
                        fcts := [op(fcts),[d,op(r)]] ;
                    end do:
                end if;
            end if;
        end do:
        return fcts ;
    end proc:
    A005179 := proc(n)
        local Lexp,a,eList,cand,maxxrt ;
        if n = 1 then
            return 1;
        end if;
        Lexp := ofact(n,2) ;
        a := 0 ;
        for eList in Lexp do
            maxxrt := ListTools[Reverse](eList) ;
            cand := mul( ithprime(i)^ ( op(i,maxxrt)-1),i=1..nops(maxxrt)) ;
            if a =0 or cand < a then
                a := cand ;
            end if;
        end do:
        a ;
    end proc:
    seq(A005179(n),n=1..40) ; # R. J. Mathar, Jun 06 2024
  • Mathematica
    a = Table[ 0, {43} ]; Do[ d = Length[ Divisors[ n ]]; If[ d < 44 && a[[ d ]] == 0, a[[ d]] = n], {n, 1, 1099511627776} ]; a
    (* Second program: *)
    Function[s, Map[Lookup[s, #] &, Range[First@ Complement[Range@ Max@ #, #] - 1]] &@ Keys@ s]@ Map[First, KeySort@ PositionIndex@ Table[DivisorSigma[0, n], {n, 10^7}]] (* Michael De Vlieger, Dec 11 2016, Version 10 *)
    mp[1, m_] := {{}}; mp[n_, 1] := {{}}; mp[n_?PrimeQ, m_] := If[m < n, {}, {{n}}]; mp[n_, m_] := Join @@ Table[Map[Prepend[#, d] &, mp[n/d, d]], {d, Select[Rest[Divisors[n]], # <= m &]}]; mp[n_] := mp[n, n]; Table[mulpar = mp[n] - 1; Min[Table[Product[Prime[s]^mulpar[[j, s]], {s, 1, Length[mulpar[[j]]]}], {j, 1, Length[mulpar]}]], {n, 1, 100}] (* Vaclav Kotesovec, Apr 04 2021 *)
    a[n_] := Module[{e = f[n] - 1}, Min[Times @@@ ((Prime[Range[Length[#], 1, -1]]^#) & /@ e)]]; Array[a, 100] (* Amiram Eldar, Jul 26 2025 using the function f by T. D. Noe at A162247 *)
  • PARI
    (prodR(n,maxf)=my(dfs=divisors(n),a=[],r); for(i=2,#dfs, if( dfs[i]<=maxf, if(dfs[i]==n, a=concat(a,[[n]]), r=prodR(n/dfs[i],min(dfs[i],maxf)); for(j=1,#r, a=concat(a,[concat(dfs[i],r[j])]))))); a); A005179(n)=my(pf=prodR(n,n),a=1,b); for(i=1,#pf, b=prod(j=1,length(pf[i]),prime(j)^(pf[i][j]-1)); if(bA005179(n)", ")) \\ R. J. Mathar, May 26 2008, edited by M. F. Hasler, Oct 11 2014
    
  • Python
    from math import prod
    from sympy import isprime, divisors, prime
    def A005179(n):
        def mult_factors(n):
            if isprime(n):
                return [(n,)]
            c = []
            for d in divisors(n,generator=True):
                if 1Chai Wah Wu, Aug 17 2024

Formula

a(p) = 2^(p-1) for primes p: a(A000040(n)) = A061286(n); a(p^2) = 6^(p-1) for primes p: a(A001248(n)) = A061234(n); a(p*q) = 2^(q-1)*3^(p-1) for primes p<=q: a(A001358(n)) = A096932(n); a(p*m*q) = 2^(q-1) * 3^(m-1) * 5^(p-1) for primes pA005179(A007304(n)) = A061299(n). - Reinhard Zumkeller, Jul 15 2004 [This can be continued to arbitrarily many distinct prime factors since no numbers in A072066 (called "exceptional" or "extraordinary") are squarefree. - Jianing Song, Jul 18 2025]
a(p^n) = (2*3...*p_n)^(p-1) for p > log p_n / log 2. Unpublished proof from Andrzej Schinzel. - Thomas Ordowski, Jul 22 2005
If p is a prime and n=p^k then a(p^k)=(2*3*...*s_k)^(p-1) where (s_k) is the numbers of the form q^(p^j) for every q and j>=0, according to Grost (1968), Theorem 4. For example, if p=2 then a(2^k) is the product of the first k members of the A050376 sequence: number of the form q^(2^j) for j>=0, according to Ramanujan (1915). - Thomas Ordowski, Aug 30 2005
a(2^k) = A037992(k). - Thomas Ordowski, Aug 30 2005
a(n) <= A037019(n) with equality except for n in A072066. - M. F. Hasler, Jun 15 2022

Extensions

More terms from David W. Wilson

A262981 Numbers k such that the least positive integer having exactly k divisors is divisible by k.

Original entry on oeis.org

1, 2, 6, 8, 9, 12, 18, 20, 24, 30, 36, 40, 45, 56, 60, 72, 75, 80, 84, 90, 112, 120, 125, 126, 140, 144, 150, 168, 180, 210, 224, 225, 240, 250, 252, 264, 280, 288, 300, 315, 336, 350, 352, 360, 375, 396, 420, 440, 441, 448, 450, 500, 504, 525, 528, 560, 600, 616, 624, 625
Offset: 1

Views

Author

Vladimir Letsko, Oct 06 2015

Keywords

Comments

The sequence contains numbers n for which A005179(n) is a multiple of n.
In turn, A002110 is a subsequence.
From David A. Corneth, Aug 21 2016: (Start)
2 is the only prime in the sequence. Let p be the largest prime divisor of n. If n is in the sequence, then is it true that n/p is in the sequence? Not for n = 20.
Elements > 1 have the property primepi(p) <= bigomega(n). For 2 <= k <= 100000, only 2114 values k have this property. (End)
From Vladimir Letsko, Dec 11 2016: (Start)
The first comment in other words: a positive integer n is in this sequence iff A005179(n) is in A033950.
Note that p! is in the sequence for all primes p. On the other hand, each number in the run from (2^n)! to q-1, where n>2 and q is the least prime greater than (2^n)!, isn't in the sequence.
Let p be an odd prime and s > 0. Then p^s is in the sequence if and only if pi(p) <= s < p.
Let k > 1. There are infinitely many k such that n^k is in the sequence.
Some conjectures for a(n):
1. Let b be in a(n). Then A005179(b) is in a(n) too. In other words, A262983 is a subsequence of a(n).
2. Let b be any positive integer and b_1 denote A005179(b), b_2 denote A005179(b_1), and so on. Then b_k is in a(n) for some k. (End)

Examples

			9 is in the sequence because the least positive integer having exactly 9 divisors is 36, which is divisible by 9.
		

Crossrefs

Programs

  • PARI
    fhasndiv(n) = {k=1; while (numdiv(k) != n, k++); k;}
    isok(n) = if (!(fhasndiv(n) % n), 1, 0); \\ Michel Marcus, Oct 06 2015

Extensions

Missing a(34) added by Giovanni Resta, Oct 06 2015

A279373 Numbers n such that number of divisors of n divides n and at the same time the least number having exactly n divisors is divisible by n.

Original entry on oeis.org

1, 2, 8, 9, 12, 18, 24, 36, 40, 56, 60, 72, 80, 84, 180, 225, 240, 252, 288, 360, 396, 441, 448, 450, 504, 560, 600, 625, 672, 720, 792, 880, 882, 936, 1040, 1056, 1200, 1248, 1250, 1260, 1344, 1408, 1440, 1620, 1664, 1680, 1800, 1980, 2000, 2016, 2025, 2160, 2176, 2240, 2340, 2640, 2700, 2772, 3120, 3168
Offset: 1

Views

Author

Vladimir Letsko, Dec 11 2016

Keywords

Comments

Intersection of A033950 and A262981.

Examples

			8 is in the sequence because 8 is divisible by tau(8) and at the same time 8 divides 24 which is the least number having exactly 8 divisors.
		

Crossrefs

Programs

  • Mathematica
    Function[s, Select[TakeWhile[#, KeyExistsQ[s, #] &], Divisible[Lookup[s, #], #] &] &@ Select[Range@ 3000, Divisible[#, DivisorSigma[0, #]] &]]@ Map[First, KeySort@ PositionIndex@ Table[DivisorSigma[0, n], {n, 10^7}]] (* Michael De Vlieger, Dec 11 2016, Version 10 *)
Showing 1-3 of 3 results.