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

A328549 1, together with the numbers that are simultaneously superior highly composite (A002201), colossally abundant (A004490), deeply composite (A095848), and miserable average divisor numbers (A263572).

Original entry on oeis.org

1, 2, 6, 12, 60, 120, 360, 2520, 5040, 55440, 720720, 1441440
Offset: 1

Views

Author

N. J. A. Sloane, Oct 20 2019

Keywords

Comments

Presumably there are no further terms.
From Hal M. Switkay, Nov 04 2019: (Start)
1. a(n+1) is the product of the first n terms of A328852.
2. This sequence is most rapidly constructed as the intersection of A095849 and A224078. It is designed to list all potential solutions to a question. Let n be a natural number, k real <= 0, e real > 0. Let P(n,k,e) state: on the domain of natural numbers, sigma_k(x)/x^e reaches a maximum at x = n. This implies Q(n,k): sigma_k(n) > sigma_k(m) for m < n a natural number. We ask: for which natural numbers n is it true for all real k <= 0 that there is a real e > 0 such that P(n,k,e)?
If any such n exist, they must belong to the present sequence. A095849 consists of all natural numbers n such that for all real k <= 0, Q(n,k) holds. A224078 consists of all natural numbers n such that for some real e0 and e1 both > 0, P(n,0,e0) and P(n,-1,e1) hold. It would be interesting to see the list of n for which there is an e2 > 0 such that P(n,-2,e2) holds.
Conjecture: the solutions to this problem, if any, form an initial sequence of the present sequence. (End)
Every term of this sequence is also in A065385: a record for the cototient function. - Hal M. Switkay, Feb 27 2021
Every term of this sequence, except the first, is also in A210594: factor-dense numbers. - Hal M. Switkay, Mar 29 2021

References

Crossrefs

1 together with the intersection of A002201, A004490, A095848, A263572.

A350626 a(1)=1. For n>1, a(n)=A095848(n) divided by the smallest number in A095848 that is divisible by the largest prime divisor of A095848(n).

Original entry on oeis.org

1, 1, 2, 1, 2, 4, 8, 1, 2, 4, 6, 1, 2, 4, 6, 12, 24, 36, 60, 1, 2, 4, 6, 10, 1, 2, 4, 6, 10, 20, 30, 1, 2, 3, 5, 10, 15, 1, 2, 3, 5, 10, 15, 1, 2, 3, 5, 10, 15, 30, 60, 120, 180, 210, 420, 1, 2, 4, 8, 12, 14, 28, 1, 2, 4, 8, 12, 14, 28, 56, 1, 2, 4, 6, 7, 14, 28
Offset: 1

Views

Author

J. Lowell, Jan 28 2022

Keywords

Examples

			a(6)=4 because A095848(6)=24 and 24 has 2 and 3 as prime divisors; the smallest number in A095848 divisible by 3 is 6, and 24/6=4.
		

Crossrefs

Cf. A095848.

Extensions

More terms from Amiram Eldar, Jan 28 2022

A051451 a(n) = lcm{ 1,2,...,x } where x is the n-th prime power (A000961).

Original entry on oeis.org

1, 2, 6, 12, 60, 420, 840, 2520, 27720, 360360, 720720, 12252240, 232792560, 5354228880, 26771144400, 80313433200, 2329089562800, 72201776446800, 144403552893600, 5342931457063200, 219060189739591200, 9419588158802421600, 442720643463713815200
Offset: 1

Views

Author

Labos Elemer, Dec 11 1999

Keywords

Comments

This sequence is the list of distinct terms in A003418.
This may be the "smallest" product-based numbering system that has a unique finite representation for every rational number. In this base 1/2 = .1 (1*1/2), 1/3 = .02 (0*1/2 + 2*1/6), 1/5 = .0102 (0*1/2 + 1*1/6 + 0*1/12 + 2*1/60). - Russell Easterly, Oct 03 2001
Partial products of A025473, prime roots of the prime powers.
Conjecture: For every n > 2, there exists a twin prime pair [p, p+2] with p < a(n), such that [a(n)+p, a(n)+p+2] is also a twin prime pair. Example: For n=6 we can take p=11, because for a(6) = 420 is [420+11, 420+13] = [431, 433] also a twin prime pair. This has been verified for 2 < n <= 200. - Mike Winkler, Sep 12 2013, May 09 2014
The prime powers give all values, and do so uniquely. (Other positive integers give repeated values.) - Daniel Forgues, Apr 28 2014
"LCM numeral system": a(n+1) is place value for index n, n >= 0; a(-n+1) is (place value)^(-1) for index n, n < 0. - Daniel Forgues, May 03 2014
Repetitions removed from slowest growing integer series A003418 with integers > 0 converging to 0 in the ring Z^ of profinite integers. Both A003418 and the present sequence may be used as a replacement for the usual "factorial system" for coding profinite integers. - Herbert Eberle, May 01 2016
Every term of this sequence is deeply composite (A095848). Moreover, the terms of this sequence are the "special deeply composite numbers", in analogy to the special highly composite numbers (A106037). A special highly composite number is a highly composite number (A002182) that divides every larger highly composite number. In the same fashion, the deeply composite numbers that divide every larger deeply composite number are just the terms of this sequence. This follows from the formula for deeply composite numbers. - Hal M. Switkay, Jun 08 2021
From Bill McEachen, Apr 28 2023: (Start)
Every term belongs to A025487.
Conjecture: Every term = A001013(j)*A129912(k) for some j,k. (End)

Examples

			lcm[1,...,n] is 2520 for n=9 and 10. The smallest such n's are always prime powers, where A003418 jumps.
		

Crossrefs

Programs

  • Haskell
    a051451 n = a051451_list !! (n-1)
    a051451_list = scanl1 lcm a000961_list
    -- Reinhard Zumkeller, Mar 01 2012
    
  • Mathematica
    f[n_] := LCM @@ Range@ n; Union@ Array[f, 41] (* Robert G. Wilson v, Jul 11 2011 *)
    Join[{1},LCM@@Range[#]&/@Select[Range[50],PrimePowerQ]] (* Harvey P. Dale, Feb 06 2020 *)
  • PARI
    do(lim)=my(v=primes(primepi(lim)), u=List([1])); forprime(p=2, sqrtint(lim\1), for(e=2, log(lim+.5)\log(p), listput(u, p^e))); v=vecsort(concat(v, Vec(u))); for(i=2,#v,v[i]=lcm(v[i],v[i-1])); v \\ Charles R Greathouse IV, Nov 20 2012
    
  • PARI
    {lim=100; n=1; i=1; j=1; until(n==lim, until(a!=j, a=lcm(j,i+1); i++;); j=a; n++; print(n" "a););} \\ Mike Winkler, Sep 07 2013
    
  • PARI
    x=1;for(i=1,100,if(omega(i)==1,x*=factor(i)[1,1])) \\ Florian Baur, Apr 11 2022
    
  • Python
    from math import prod
    from sympy import primepi, integer_nthroot, integer_log, primerange
    def A051451(n):
        def f(x): return int(n+x-1-sum(primepi(integer_nthroot(x,k)[0]) for k in range(1,x.bit_length())))
        m, k = n, f(n)
        while m != k:
            m, k = k, f(k)
        return prod(p**integer_log(m, p)[0] for p in primerange(m+1)) # Chai Wah Wu, Aug 15 2024
  • Sage
    def A051451_list(n):
        a = [ ]
        L = [1]
        for i in (1..n):
           a.append(i)
           if (is_prime_power(i) == 1):
               L.append(lcm(a))
        return(L)
    A051451_list(42) # Jani Melik, Jul 07 2022
    

Formula

a(n) = A003418(A000961(n)).
a(n) = A208768(n) + 1. - Reinhard Zumkeller, Mar 01 2012
Sum_{n>=1} 1/a(n) = A064890. - Amiram Eldar, Nov 16 2020

Extensions

Minor edits by Ray Chandler, Jan 16 2009

A094348 Numbers n such that, for some numbers (j,k), j<=k, n is the smallest positive multiple of j (or more) of the first k positive integers.

Original entry on oeis.org

1, 2, 4, 6, 12, 24, 36, 48, 60, 72, 120, 180, 240, 360, 420, 720, 840, 1260, 1680, 2520, 5040, 7560, 10080, 15120, 20160, 25200, 27720, 30240, 45360, 50400, 55440, 83160, 110880, 166320, 221760, 277200, 332640, 360360, 498960, 554400, 665280, 720720
Offset: 1

Views

Author

Matthew Vandermast, Jun 18 2004, Oct 12 2008

Keywords

Comments

Includes all highly composite numbers (A002182) and least common multiples of 1 through n (A003418). It would be interesting to know: 1) whether or not all deeply composite numbers (A095848, which includes all members of A003418) also belong to this sequence; 2) if 72 is the only member of this sequence not also belonging to A002182 or A095848.
465585120 is the first member of A095848 that is not a member of this sequence. The first members that belong to neither A002182 nor A095848 are 72, 30240, 64864800 and 1470268800. - David Wasserman, Jun 28 2007
This sequence is also A096179 with duplicates deleted and sorted. Let F(n) be the number of the row of A096179 which has the first occurrence of a(n) and M(n) = max{F(i),i <= n}. Then the following table indicates this connection.
n |1,2,3,4, 5, 6, 7, 8, 9,10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21
a(n)|1,2,4,6,12,24,36,48,60,72,120,180,240,360,420,720,840,1260,1680,2520,5040
F(n)|1,2,4,3, 4, 8,18,16, 5, 9, 8, 18, 16, 9, 7, 16, 15, 21, 16, 9, 16
M(n)|1,2,4,4, 4, 8,18,18,18,18, 18, 18, 18, 18, 18, 18, 18, 21, 21, 21, 21
- Peter Luschny, Dec 29 2010

Examples

			72 is a multiple of seven of the first nine positive integers (namely, 1, 2, 3, 4, 6, 8 and 9). It is the smallest positive integer for which this is true.
		

Crossrefs

Programs

  • PARI
    \\ Computes the first 50 terms of A094348
    A094348() = {local(n,i,R,A,len,count,change,high,lim);
    lim = 7208000; R = vector(500); A = vector(50); A[1]=1;
    A[2]=2; A[3]=4; A[4]=6; A[5]=12; count=5; high=0; n=12;
    while(n < lim, d=divisors(n); len=length(d); change=0;
    for(i=1,min(len,high),if(R[i]>d[i],R[i]=d[i];change=1));
    if(len>high,for(i=high+1,len,R[i]=d[i]); high=len);
    if(change, count++; A[count] = n); n += 12; );
    write("A094348.txt", vector(count, i, A[i])); }
    \\ Peter Luschny, Dec 29 2010

Extensions

More terms from David Wasserman, Jun 28 2007
Title edited by Matthew Vandermast, Nov 20 2010

A095849 Numbers j where sigma_k(j) increases to a record for all real values of k.

Original entry on oeis.org

1, 2, 4, 6, 12, 24, 48, 60, 120, 240, 360, 840, 1680, 2520, 5040, 10080, 15120, 25200, 27720, 55440, 110880, 166320, 277200, 720720, 1441440, 2162160, 3603600, 7207200, 10810800, 36756720, 61261200, 122522400, 183783600, 698377680
Offset: 1

Views

Author

Matthew Vandermast, Jun 09 2004

Keywords

Comments

For any value of k, sigma_k(j) > sigma_k(m) for all m < j, where the function sigma_k(j) is the sum of the k-th powers of all divisors of j.
Conjecture: a number is in this sequence if and only if it is in both A002182 and A095848. - J. Lowell, Jun 21 2008

Crossrefs

Cf. A002093 (highly abundant numbers), A002182 (highly composite numbers) and A004394 (superabundant numbers), consisting of numbers that establish records for sigma_k(j) where k equals 1, 0 and -1 respectively. See also A095848.
Cf. also A166981 (numbers that establish records for both k=0 and k=-1).

Extensions

Extended by T. D. Noe, Apr 22 2010
Corrected by T. D. Noe and Matthew Vandermast, Oct 04 2010
Removed keyword "fini", since it appears that as yet there is no proof. - N. J. A. Sloane, Sep 17 2022

A242298 Once a number in this sequence is divisible by all numbers 1 to m, subsequent terms are constrained to have the same property; choose the smallest permissible number that is greater than the previous term.

Original entry on oeis.org

1, 2, 4, 6, 12, 24, 36, 48, 60, 120, 180, 240, 300, 360, 420, 840, 1680, 2520, 5040, 7560, 10080, 12600, 15120, 17640, 20160, 22680, 25200, 27720, 55440, 83160, 110880, 138600, 166320, 194040, 221760, 249480, 277200, 304920, 332640, 360360, 720720, 1441440
Offset: 1

Views

Author

J. Lowell, May 10 2014

Keywords

Comments

All terms from A095848 belong to this sequence.

Examples

			After 6, none of 7,8,9,10 or 11 are in the sequence since they are not divisible by 1,2 and 3 as 6 is. 12 is a term, but is now divisible by 1,2,3 and 4, adding a new constraint on subsequent terms.
After 24, 30 is not in the sequence because 24 is divisible by all numbers from 1 to 4 and 30 is not divisible by 4. But 36, which is divisible by all of 1 through 4, is a term.
As an irregular table, the n-th row consists of all numbers divisible by A051451(n) but not by A051451(n+1). - _Tom Edgar_, May 22 2014
		

Crossrefs

Programs

  • PARI
    consecd(a) = {d = divisors(a); for (i=2, #d, if (d[i] - d[i-1] > 1, return(i-1));); return(a);}
    findnext(a) = {nconsd = consecd(a); na = a + 1; while (consecd(na) < nconsd, na++); na;}
    lista(nn) = {a = 1; print1(a, ", "); for (n=1, nn, a = findnext(a); print1(a, ", "););} \\ Michel Marcus, May 11 2014
    
  • PARI
    first(n) = {
    	my(res = vector(n), step = 1, oldm = 1, newm = 1);
    	res[1] = 1;
    	for(i = 2, n,
    		while(res[i-1] % (newm+1) == 0,
    			newm++;
    		);
    		if(newm > oldm,
    			step = lcm([step, lcm([oldm..newm])]);
    			oldm = newm
    		);
    		res[i] = res[i-1]+step
    	);
    	res
    } \\ David A. Corneth, Jan 28 2024

Formula

a(1) = 1. If n > 1, a(n) = a(n-1) + A368777(a(n-1)). - Hal M. Switkay, Jan 26 2024

Extensions

More terms from Michel Marcus, May 11 2014

A385722 a(n) = the n-th term of the sequence B_2 defined as the ordered union of the ranges of A_x, where the sequence A_x is defined in A384669, and x is a proper positive fraction with denominator 2, 3, 4, or 6.

Original entry on oeis.org

1, 2, 4, 6, 8, 12, 16, 24, 30, 32, 36, 48, 60, 64, 72, 96, 120, 128, 144, 180, 192, 210, 240, 256, 288, 360, 384, 420, 480, 512, 576, 720, 768, 840, 960, 1024, 1152, 1260, 1440, 1536, 1680, 1920, 2048, 2304, 2310, 2520, 2880, 3072, 3360, 3840, 4096, 4320, 4608, 4620, 5040
Offset: 1

Views

Author

Hal M. Switkay, Jul 07 2025

Keywords

Comments

The sequences A_x were defined in A384669; please see that sequence for more details.
Because of the continuity of the functions g_k(x) defined in A384669, if k is a term of A_y, then k is a term of A_x with x rational sufficiently close to y; so it suffices to study A_x for x rational, 0 < x < 1.
Let x = p/q, with p and q natural numbers, p < q. Then B_n is the ordered union of the ranges of A_x, where q has Euler totient <= n (that is, A000010(q) <= n). B_1 is just the sequence A_(1/2), that is, A384669. The present sequence B_2 is the ordered union of the ranges of A_x, where x = 1/6, 1/4, 1/3, 1/2, 2/3, 3/4, 5/6.
8 is the first term in B_2 (this sequence) that is not in B_1 = A384669.
15120 appears to be the first term in B_4 that is not in B_2 (this sequence).
More discussion about B_n and B_oo appears in a linked pdf.

Examples

			8 is a term of A_(2/3) and therefore of this sequence as well as A_x for x > 2/3, even though 8 is not a term of A384669, because 3^(2/3) (corresponding to 8) > 2 = 1^(2/3) + 1^(2/3) (corresponding to 6). Thus 8 qualifies to be a term in B_2, this sequence.
		

Crossrefs

Programs

  • PARI
    s(n, q) = my(f=factor(n)); sum(k=1, #f~, f[k, 2]^q);
    listaq(nn, q) = my(r=-oo, list=List()); for (n=1, nn, my(ss=s(n, q)); if (ss > r, r = ss; listput(list, n)); ); Vec(list);
    putlist(list, elems) = for (i=1, #elems, listput(list, elems[i])); list;
    lista(nn) = my(list=List(), vq=[1/6, 1/4, 1/3, 1/2, 2/3, 3/4, 5/6]); for (i=1, #vq, list = putlist(list, listaq(nn, vq[i]))); Set(Vec(list)); \\ Michel Marcus, Jul 08 2025

A384669 Positive integers setting a new record for the sum of the square roots of the prime exponents.

Original entry on oeis.org

1, 2, 4, 6, 12, 24, 30, 60, 120, 180, 210, 360, 420, 840, 1260, 1680, 2520, 3360, 4620, 6720, 7560, 9240, 13860, 18480, 27720, 36960, 55440, 73920, 83160, 110880, 120120, 180180, 221760, 240240, 360360, 480480, 720720, 960960, 1081080, 1441440, 2042040, 2882880, 4084080, 5765760, 6126120
Offset: 1

Views

Author

Hal M. Switkay, Jun 06 2025

Keywords

Comments

This sequence is the special case x = 1/2 of a class of sequences A_x indexed by real numbers x, defined as follows. Let k be a natural number with prime factorization k = Product_{i=1..r} (p_i)^(e_i), where p_i are distinct primes, and e_i are natural numbers. Define f_x(k) = Sum_{i=1..r} (e_i)^x. Then the sequence A_x consists of natural numbers k where f_x(k) sets a new record.
We may define g_k(x) = f_x(k), so that g_k consists of real functions indexed by natural numbers. Each g_k is a sum of exponential functions, whose bases are natural numbers.
We provide facts, conjectures, and questions about the class of sequences A_x.
Facts:
For all real x, A_x is an infinite, increasing sequence of numbers of least prime signature (A025487) starting with 1 and 2.
For all x <= 0, A_x coincides with the primorials (A002110). For all x >= 1, A_x coincides with the powers of 2 (A000079). Thus the interesting sequences A_x have 0 <= x <= 1.
For all x > 0, A_x(n+1) <= 2*A_x(n).
1, 2, 4, 6, 12, 24, and no other natural numbers, are terms of every A_x with 0 < x < 1.
Conjectures:
The sequences A_x appear to be distinct in the following sense. Given 0 <= x < y <= 1, not only are A_x and A_y distinct, their ranges appear to have finite intersection.
Define A_0+, respectively A_1- as the limit of A_x as x approaches 0 from the right, respectively as x approaches 1 from the left. Then A_0+ appears to coincide with A168264, and A_1- appears to coincide with A029744 without the term 3.
If 0 < x < 1 and d is a natural number, then d divides some term of A_x.
If 0 < x < 1 and d is a natural number, then d divides infinitely many terms of A_x.
If 0 < x < 1 and d is a natural number, then d divides all sufficiently large terms of A_x.
Define S_n to be the set of x for which A_x(n) achieves a minimum value as a function of x (well-defined because the values are integers). Then for fixed n >= 10, S_n appears to be a subset of the interval log(2)/log(3) <= x <= log(3)/log(4), although in general S_n itself is not an interval.
Questions:
Does every number of least prime signature appear in at least one A_x for some x? 216 is not a term in any A_x I have examined.
Are there any x for which A_x contains infinitely many highly composite numbers (A002182), respectively infinitely many deeply composite numbers (A095848)?
Does the sequence of sets S_n have any limit points x in [0,1]? If x is such a limit point, A_x would presumably grow more slowly than other A_x. Examining A_x for x rational with denominator 720, A_x appears to contain a maximum number of terms (80) less than 2 * 10! when x = 507/720, 511/720, 515/720, and 517/720, all between 0.70 and 0.72.
Answer to the first question above: No, 216 is not a term of A_x for any x. If it were, we would have g_216(x) > g_210(x) and g_216(x) > g_192(x), i.e., 2*3^x > 4 and 2*3^x > 6^x+1. The first inequality holds only if x > x0 = log(2)/log(3). But 2*3^x0 < 6^x0+1 and it is easily verified that the function 2*3^x - (6^x+1) is decreasing for x > x0, so the second equality cannot hold when x > x0. - Pontus von Brömssen, Jun 13 2025
Additional facts from Hal M. Switkay, Jun 29 2025: (Start)
If k1 and k2 have the same prime signature, then the functions g_k1(x) and g_k2(x) are identical. Hence g_k(x) is identical to g_A046523(k)(x), where A046523(k) is the smallest number with the same prime signature as k. This is why the terms of A_x are all numbers of least prime signature.
For all k, lim_{x->-oo} g_k(x) = A056169(k) = the number of unitary prime divisors of k.
For all k, g_k(0) = omega(k) = A001221(k) = the number of distinct prime divisors of k.
For all k, g_k(1) = bigomega(k) = A001222(k) = the number of prime divisors of k counted with multiplicity.
For all k > 1, lim_{x->oo} [log(g_k(x))/x] = log(A051903(k)), where A051903(k) = the maximum exponent in the prime factorization of k. When k has least prime signature, A051903(k) = A007814(k), the exponent of the largest power of 2 dividing k. (End)
Using the notation of A385722, this sequence is B_1. - Hal M. Switkay, Jul 27 2025

Examples

			f_(1/2)(24) = sqrt(3) + sqrt(1), because 24 = (2^3)(3^1). This is a record value for f_(1/2), so 24 is in the sequence. f_(1/2)(30) = sqrt(1) + sqrt(1) + sqrt(1) (because 30 = (2^1)(3^1)(5^1)), which is larger still, putting 30 in the sequence. However, f_(1/2)(32) = sqrt(5) (because 32 = 2^5), smaller than the previous value, so 32 is not in the sequence.
g_216(x) = 3^x + 3^x, because 216 = (2^3)(3^3).
		

Crossrefs

Programs

  • Mathematica
    s[n_] := Total[Sqrt[FactorInteger[n][[;; , 2]]]]; s[1] = 0; With[{lps = Cases[Import[ "https://oeis.org/A025487/b025487.txt", "Table"], {, }][[;; , 2]]}, sm = -1; seq = {}; Do[s1 = s[lps[[i]]]; If[s1 > sm, sm = s1; AppendTo[seq, lps[[i]]]], {i, 1, Length[lps]}]; seq] (* Amiram Eldar, Jun 08 2025 *)
  • PARI
    s(n) = my(f=factor(n)); sum(k=1, #f~, sqrt(f[k,2]));
    lista(nn) = my(r=-oo, list=List()); for (n=1, nn, my(ss=s(n)); if (ss > r, r = ss; listput(list, n));); Vec(list); \\ Michel Marcus, Jun 15 2025

A381849 Intersection of A025487 and A242298.

Original entry on oeis.org

1, 2, 4, 6, 12, 24, 36, 48, 60, 120, 180, 240, 360, 420, 840, 1680, 2520, 5040, 7560, 10080, 12600, 15120, 20160, 25200, 27720, 55440, 83160, 110880, 138600, 166320, 221760, 277200, 332640, 360360, 720720, 1441440, 2162160, 2882880, 3603600, 4324320, 5765760, 6486480, 7207200, 8648640
Offset: 1

Views

Author

Hal M. Switkay, May 18 2025

Keywords

Comments

This sequence properly includes the deeply composite numbers (A095848). 36 and 180 are the first terms of this sequence that are not deeply composite.

Examples

			Once we get to 60, all succeeding terms in the sequence must be divisible by 1, 2, 3, 4, 5, and 6. However, not all multiples of 60 that are less than 420 (LCM(1,...,7)) have least prime signature, so 300 is excluded. All other multiples of 60 between 60 and 420 have least prime signature, so they are terms of this sequence.
		

Crossrefs

Showing 1-9 of 9 results.