A060776 -id:A060776 - cp's OEIS frontend

A061055 Duplicate of A060776.

1, 1, 2, 4, 10, 24, 70, 192, 576, 1890, 6300, 21600, 78848, 294840, 1143072, 4572288

Offset: 1

Ed Pegg Jr, May 28 2001

dead

A033676 Largest divisor of n <= sqrt(n).

1, 1, 1, 2, 1, 2, 1, 2, 3, 2, 1, 3, 1, 2, 3, 4, 1, 3, 1, 4, 3, 2, 1, 4, 5, 2, 3, 4, 1, 5, 1, 4, 3, 2, 5, 6, 1, 2, 3, 5, 1, 6, 1, 4, 5, 2, 1, 6, 7, 5, 3, 4, 1, 6, 5, 7, 3, 2, 1, 6, 1, 2, 7, 8, 5, 6, 1, 4, 3, 7, 1, 8, 1, 2, 5, 4, 7, 6, 1, 8, 9, 2, 1, 7, 5, 2, 3

Offset: 1

N. J. A. Sloane

a(n) = sqrt(n) is a new record if and only if n is a square. - Zak Seidov, Jul 17 2009
a(n) = A060775(n) unless n is a square, when a(n) = A033677(n) = sqrt(n) is strictly larger than A060775(n). It would be nice to have an efficient algorithm to calculate these terms when n has a large number of divisors, as for example in A060776, A060777 and related problems such as A182987. - M. F. Hasler, Sep 20 2011
a(n) = 1 when n = 1 or n is prime. - Alonso del Arte, Nov 25 2012
a(n) is the smallest central divisor of n. Column 1 of A207375. - Omar E. Pol, Feb 26 2019
a(n^4+n^2+1) = n^2-n+1: suppose that n^2-n+k divides n^4+n^2+1 = (n^2-n+k)*(n^2+n-k+2) - (k-1)*(2*n+1-k) for 2 <= k <= 2*n, then (k-1)*(2*n+1-k) >= n^2-n+k, or n^2 - (2*k-1)*n + (k^2-k+1) = (n-k+1/2)^2 + 3/4 < 0, which is impossible. Hence the next smallest divisor of n^4+n^2+1 than n^2-n+1 is at least n^2-n+(2*n+1) = n^2+n+1 > sqrt(n^4+n^2+1). - Jianing Song, Oct 23 2022

G. Tenenbaum, pp. 268 ff, in: R. L. Graham et al., eds., Mathematics of Paul Erdős I.

T. D. Noe, Table of n, a(n) for n = 1..10000

Cf. A033677 (n/a(n)), A000196 (sqrt), A027750 (list of divisors), A056737 (n/a(n) - a(n)), A219695 (half of this for odd numbers), A207375 (list the central divisor(s)).
The strictly inferior case is A060775. Cf. also A140271.
Indices of given values: A008578 (1 and the prime numbers: a(n) = 1), A161344 (a(n) = 2), A161345 (a(n) = 3), A161424 (4), A161835 (5), A162526 (6), A162527 (7), A162528 (8), A162529 (9), A162530 (10), A162531 (11), A162532 (12), A282668 (indices of primes).

a033676 n = last $ takeWhile (<= a000196 n) $ a027750_row n
-- Reinhard Zumkeller, Jun 04 2012

A033676 := proc(n) local a,d; a := 0 ; for d in numtheory[divisors](n) do if d^2 <= n then a := max(a,d) ; end if; end do: a; end proc: # R. J. Mathar, Aug 09 2009

largestDivisorLEQR[n_Integer] := Module[{dvs = Divisors[n]}, dvs[[Ceiling[Length@dvs/2]]]]; largestDivisorLEQR /@ Range[100] (* Borislav Stanimirov, Mar 28 2010 *)
Table[Last[Select[Divisors[n],#<=Sqrt[n]&]],{n,100}] (* Harvey P. Dale, Mar 17 2017 *)

A033676(n) = {local(d);if(n<2,1,d=divisors(n);d[(length(d)+1)\2])} \\ Michael B. Porter, Jan 30 2010

from sympy import divisors
def A033676(n):
    d = divisors(n)
    return d[(len(d)-1)//2]  # Chai Wah Wu, Apr 05 2021

a(n) = n / A033677(n).
a(n) = A161906(n,A038548(n)). - Reinhard Zumkeller, Mar 08 2013
a(n) = A162348(2n-1). - Daniel Forgues, Sep 29 2014

A060775 The greatest divisor d|n such that d < n/d, with a(1) = 1.

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 1, 2, 1, 2, 1, 3, 1, 2, 3, 2, 1, 3, 1, 4, 3, 2, 1, 4, 1, 2, 3, 4, 1, 5, 1, 4, 3, 2, 5, 4, 1, 2, 3, 5, 1, 6, 1, 4, 5, 2, 1, 6, 1, 5, 3, 4, 1, 6, 5, 7, 3, 2, 1, 6, 1, 2, 7, 4, 5, 6, 1, 4, 3, 7, 1, 8, 1, 2, 5, 4, 7, 6, 1, 8, 3, 2, 1, 7, 5, 2, 3

Offset: 1

Labos Elemer, Apr 26 2001

Also: Largest divisor of n which is less than sqrt(n).
If n is not a square, then a(n) = A033676(n), else a(n) is strictly smaller than A033676(n) = sqrt(n) (except for a(1) = 1).  - M. F. Hasler, Sep 20 2011
Record values occur for n = k * (k+1), for which a(n) = k. - Franklin T. Adams-Watters, May 01 2015
If we define a divisor d|n to be strictly inferior if d < n/d, then strictly inferior divisors are counted by A056924 and listed by A341674. This sequence gives the greatest strictly inferior divisor, which may differ from the lower central divisor A033676. Central divisors are listed by A207375. - Gus Wiseman, Feb 28 2021

			n = 252, D = {1, 2, 3, 4, 6, 7, 9, 12, 14, 18, 21, 28, 36, 42, 63, 84, 126, 252}, 18 divisors, the 9th is 14, so a(252) = 14.
From _Gus Wiseman_, Feb 28 2021: (Start)
The strictly inferior divisors of selected n:
n = 1  2  6  12  20  30  42  56  72  90  110  132  156  182  210  240
    -----------------------------------------------------------------
    {} 1  1  1   1   1   1   1   1   1   1    1    1    1    1    1
          2  2   2   2   2   2   2   2   2    2    2    2    2    2
             3   4   3   3   4   3   3   5    3    3    7    3    3
                     5   6   7   4   5   10   4    4    13   5    4
                                 6   6        6    6         6    5
                                 8   9        11   12        7    6
                                                             10   8
                                                             14   10
                                                                  12
                                                                  15
(End)

Alois P. Heinz, Table of n, a(n) for n = 1..10000 (terms n = 2..1000 from Harry J. Smith)

Cf. A033677, A000196, A000005, A000142, A027423, A055226, A060776, A060777, A002378.
The weakly inferior version is A033676.
Positions of first appearances are A180291.
These are the row-maxima of A341674.
A038548 counts superior (or inferior) divisors.
A056924 counts strictly superior (or strictly inferior) divisors.
A070039 adds up strictly inferior divisors.
A207375 lists central divisors.
A333805 counts strictly inferior odd divisors.
A333806 counts strictly inferior prime divisors.
A341596 counts strictly inferior squarefree divisors.
A341677 counts strictly inferior prime-power divisors.
- Inferior: A063962, A066839, A069288, A161906, A217581, A333749, A333750.
- Superior: A051283, A059172, A063538, A063539, A070038, A161908, A341591.
- Strictly Superior: A048098, A064052, A140271, A238535, A341642, A341673.
Cf. A000203, A001248, A006530, A020639, A112798, A161901.

with(numtheory):
a:= n-> max(select(d-> is(d=1 or dAlois P. Heinz, Jan 29 2018

Table[Part[Divisors[w], Floor[DivisorSigma[0, w]/2]], {w, 1, 256}]
Table[If[n==1,1,Max[Select[Divisors[n],#Gus Wiseman, Feb 28 2021 *)

A060775(n)=if(n>1,divisors(n)[numdiv(n)\2],1) \\ M. F. Hasler, Sep 21 2011

a(n) = max { d: d|n and d < sqrt(n) or d = 1 }, where "|" means "divides". [Corrected by M. F. Hasler, Apr 03 2019]

a(1) = 1 added (to preserve the relation a(n) | n) by Franklin T. Adams-Watters, Jan 27 2018
Edited by M. F. Hasler, Apr 03 2019
Name changed by Gus Wiseman, Feb 28 2021 (was: Lower central (median) divisor of n, with a(1) = 1.)

A060777 Larger central (or median) divisor of n!.

Original entry on oeis.org

1, 2, 3, 6, 12, 30, 72, 210, 630, 1920, 6336, 22176, 78975, 295680, 1144000, 4576000, 18869760, 80061696, 348986880, 1560176640, 7148445696, 33530112000, 160813154304, 787718131200, 3938590656000, 20083261440000, 104351051284480, 552173794099200, 2973519499493376, 16286922357866496, 90680032493568000, 512971179263262720

Offset: 1

Labos Elemer, Apr 26 2001

nonn

Factorial splitting: write n! = x*y with x <= y and x maximal; sequence gives value of y. Inequality "x < y" gives the same sequence, except that a(1) is not defined.

The integer part of square root of n! (A055226(n)) is situated between x and y.

			Divisors of 6!=720 are {1, 2, 3, 4, 5, 6, ..., 24, 30, ..., 360, 720}. a(6)=30, the 16th one from the 30 divisors of 720.

Max Alekseyev, Table of n, a(n) for n = 1..140
Jean-Marie De Koninck and William Verreault, Arithmetic functions at factorial arguments, Publications de l'Institut Mathematique, Vol. 115, No. 129 (2024), pp. 45-76.

Cf. A027423, A055226, A000196, A000142, A000005, A060776, A061057, A033677.

Table[ Part[ Divisors[ w! ], 1+Floor[ DivisorSigma[ 0, n! ]/2 ] ], {w, a, b} ]

a(n) = A033677(A000142(n)). - Pontus von Brömssen, Jul 15 2023

Sum_{k=1..n} a(k) = sqrt(n!) * (1 + O(1/n^c)), where c < 1 is a positive constant (De Koninck and Verreault, 2024, p. 48, Theorem 2.1). - Amiram Eldar, Dec 10 2024

More terms from Don Reble, Dec 13 2001

A060796 Upper central divisor of n-th primorial.

Original entry on oeis.org

2, 3, 6, 15, 55, 182, 715, 3135, 15015, 81345, 448630, 2733549, 17490603, 114388729, 785147363, 5708795638, 43850489690, 342503171205, 2803419704514, 23622001517543, 201817933409378, 1793779635410490, 16342166369958702, 154171363634898185, 1518410187442699518, 15259831781575946565

Offset: 1

Labos Elemer, Apr 27 2001

nonn

Also: Write product of first n primes as x*y with x < y and x maximal; sequence gives value of y. Indeed, p(n)# = primorial(n) = A002110(n) is never a square for n >= 1; all exponents in the prime factorization are 1. Therefore primorial(n) has N = 2^n distinct divisors. Since this is an even number, the N divisors can be grouped in N/2 pairs {d(k), d(N+1-k)} with product equal to p(n)#. One of the two is always smaller and one is larger than sqrt(p(n)#). This sequence gives the (2^(n-1)+1)-th divisor, which is the smallest one larger than sqrt(p(n)#). - M. F. Hasler, Sep 20 2011

			n = 8, q(8) = 2*3*5*7*11*13*17*19 = 9699690. Its 128th and 129th divisors are {3094, 3135}: a(8) = 3135, and 3094 < A000196(9699690) = 3114 < 3135. [Corrected by _M. F. Hasler_, Sep 20 2011]

Max Alekseyev, Table of n, a(n) for n = 1..70

Cf. A060755, A000196, A002110, A033677, A060776, A060777, A061057, A060795 (x), A061060 (y-x), A182987 (x+y), A061030, A061031, A061032, A061033, A200744.

k = 1; Do[k *= Prime[n]; l = Divisors[k]; x = Length[l]; Print[l[[x/2 + 1]]], {n, 1, 24}] (* Ryan Propper, Jul 25 2005 *)

A060796(n) = divisors(prod(k=1,n,prime(k)))[2^(n-1)+1] \\ Requires stack size > 2^(n+5). - M. F. Hasler, Sep 20 2011

a(n) = A033677(A002110(n)).

a(n) = A002110(n)/A060795(n). - M. F. Hasler, Mar 21 2022

More terms from Ryan Propper, Jul 25 2005
a(24)-a(37) in b-file calculated from A182987 by M. F. Hasler, Sep 20 2011
a(38) from David A. Corneth, Mar 21 2022
a(39)-a(70) in b-file from Max Alekseyev, Apr 20 2022

A060795 Write product of first n primes as x*y with x

Original entry on oeis.org

1, 2, 5, 14, 42, 165, 714, 3094, 14858, 79534, 447051, 2714690, 17395070, 114371070, 783152070, 5708587335, 43848093003, 342444658094, 2803119896185, 23619540863730, 201813981102615, 1793779293633437, 16342050964565645, 154170926013430326, 1518409177581024365

Offset: 1

Labos Elemer, Apr 27 2001

nonn

Or, lower central divisor of n-th primorial.

Subsequence of A005117 (squarefree numbers). - Michel Marcus, Feb 22 2016

			n = 8: q(8) = 2*3*5*7*11*13*17*19 = 9699690. Its 128th and 129th divisors are {3094, 3135}: a(8) = 3094 and 3094 < A000196(9699690) = 3114 < 3135. [Corrected by _Colin Barker_, Oct 22 2010]
2*3*5*7 = 210 = 14*15 with difference of 1, so a(4) = 14.

Max Alekseyev, Table of n, a(n) for n = 1..70

Cf. A000196, A060776, A060777, A061057, A060796 (y), A061060 (y-x), A182987 (x+y), A061030, A061031, A061032, A061033, A060755, A033677, A200743.

F:= proc(n) local P,N,M;
     P:= {seq(ithprime(i),i=1..n)};
     N:= floor(sqrt(convert(P,`*`)));
     M:= map(convert, combinat:-powerset(P),`*`);
     max(select(`<=`,M,N))
end proc:
map(F, [$1..20]); # Robert Israel, Feb 22 2016

a[n_] := (m = Times @@ Prime[Range[n]] ; dd = Divisors[m]; dd[[Length[dd]/2 // Floor]]); Table[Print[an = a[n]]; an, {n, 1, 25}] (* Jean-François Alcover, Oct 15 2016 *)

a(n) = my(m=prod(i=1, n, prime(i))); divisors(m)[numdiv(m)\2]; \\ Michel Marcus, Feb 22 2016

a(n) = A060775(A002110(n)). - Labos Elemer, Apr 27 2001

a(n) = A002110(n)/A060796(n). - M. F. Hasler, Mar 21 2022

More terms from Ed Pegg Jr, May 28 2001
a(16)-a(23) computed by Jud McCranie, Apr 15 2000
a(24) and a(25) from Robert Israel, Feb 22 2016
a(25) corrected by Jean-François Alcover, Oct 15 2016
a(26)-a(33) in b-file from Amiram Eldar, Apr 09 2020
Up to a(38) using b-file of A060796, by M. F. Hasler, Mar 21 2022
a(39)-a(70) in b-file from Max Alekseyev, Apr 20 2022

A061030 Factorial splitting: write n! = xyz with x

Original entry on oeis.org

1, 2, 4, 8, 15, 32, 64, 144, 330, 768, 1800, 4368, 10800, 27300, 70560, 184800, 494208, 1343680, 3704400, 10388250, 29560960, 85250880, 249318000, 738720000, 2216160000, 6729074352, 20675655000, 64247758848, 201820667904

Offset: 3

Ed Pegg Jr, May 25 2001

nonn

			For n = 6, 6! = 720 = 8*9*10, so x=8, y=9, z=10.

Luc Kumps, personal communication.

Max Alekseyev, Table of n, a(n) for n = 3..100

Cf. A061031, A061032, A061033, A060776, A060777, A060795, A060796, A200743, A200744

a(10) and a(11) corrected and a(14)-a(31) from Donovan Johnson, May 11 2010

A200743 Divide integers 1..n into two sets, minimizing the difference of their products. This sequence is the smaller product.

Original entry on oeis.org

1, 1, 2, 4, 10, 24, 70, 192, 576, 1890, 6300, 21600, 78624, 294840, 1140480, 4561920, 18849600, 79968000, 348566400, 1559376000, 7147140000, 33522128640, 160745472000, 787652812800, 3938264064000, 20080974513600, 104348244639744, 552160113120000, 2973491173785600, 16286186592000000, 90678987245246400

Offset: 1

Franklin T. Adams-Watters, Nov 21 2011

nonn

			For n=1, we put 1 in one set and the other is empty; with the standard convention for empty products, both products are 1.
For n=13, the central pair of divisors of n! are 78975 and 78848. Since neither is divisible by 10, these values cannot be obtained. The next pair of divisors are 79200 = 12*11*10*6*5*2*1 and 78624 = 13*9*8*7*4*3, so a(13) = 78624.

Max Alekseyev, Table of n, a(n) for n = 1..140 (terms for n=1..35 from Michael S. Branicky)

Cf. A060776, A038667, A127180, A200744.

a:= proc(n) local l, ll, g, p, i; l:= [i$i=1..n]; ll:= [i!$i=1..n]; g:= proc(m, j, b) local mm, bb, k; if j=1 then m else mm:= m; bb:= b; for k to 2 while (mmbb then bb:= max(bb, g(mm, j-1, bb)) fi; mm:= mm*l[j] od; bb fi end; Digits:= 700; p:= ceil(sqrt(ll[n])); g(1, nops(l), 1) end: seq(a(n), n=1..23);  # Alois P. Heinz, Nov 22 2011

a[n_] := a[n] = Module[{s, t}, {s, t} = MinimalBy[{#, Complement[Range[n], #]}& /@ Subsets[Range[n]], Abs[Times @@ #[[1]] - Times @@ #[[2]]]&][[1]]; Min[Times @@ s, Times @@ t]];
Table[Print[n, " ", a[n]]; a[n], {n, 1, 25}] (* Jean-François Alcover, Nov 03 2020 *)

from itertools import combinations
def prod(l):
    t=1
    for x in l:
        t *= x
    return t
def a200743(n):
    nums = list(range(1,n+1))
    widths = combinations(nums,n//2)
    dimensions = [(prod(width),prod(x for x in nums if x not in width)) for width in widths]
    best = min(dimensions,key=lambda x:max(*x)-min(*x))
    return min(best)
# Christian Perfect, Feb 04 2015

from math import prod, factorial
from itertools import combinations
def A200743(n):
    m = factorial(n)
    return min((abs((p:=prod(d))-m//p),min(p,m//p)) for l in range(n,n//2,-1) for d in combinations(range(1,n+1),l))[1] # Chai Wah Wu, Apr 07 2022

a(n) = A127180(n) - A200744(n) = A200744(n) - A038667(n) = (A127180(n) - A038667(n)) / 2. - Max Alekseyev, Jun 18 2022

a(24)-a(30) from Alois P. Heinz, Nov 22 2011

a(31) from Michael S. Branicky, May 21 2021

A061032 Factorial splitting: write n! = xyz with x

Original entry on oeis.org

3, 4, 6, 10, 21, 36, 81, 168, 360, 810, 1872, 4480, 11088, 27720, 71280, 186368, 496128, 1347192, 3720960, 10407936, 29576988, 85322160, 249500160, 738904320, 2216712960, 6732000000, 20680540160, 64260000000, 201860859375

Offset: 3

Ed Pegg Jr, May 25 2001

nonn

We first maximize x and then minimize z, which may be different from doing the opposite way around. For example, 7! = 15*16*21 = 14*18*20 is the case when absolute maximum of x (=15) and absolute minimum of z (=20) cannot be achieved together. - Max Alekseyev, Jun 18 2022

Luc Kumps, personal communication.

Max Alekseyev, Table of n, a(n) for n = 3..100

Cf. A061030, A061031, A061033, A060776, A060777, A060795, A060796, A200743, A200744.

a(10) and a(11) corrected and a(14)-a(31) from Donovan Johnson, May 11 2010

Definition and a(14), a(18), a(24) are corrected by Max Alekseyev, Apr 10 2022

A061031 Factorial splitting: write n! = xyz with x

Original entry on oeis.org

2, 3, 5, 9, 16, 35, 70, 150, 336, 770, 1848, 4455, 10920, 27648, 70720, 185895, 496125, 1344000, 3706560, 10395840, 29568000, 85299200, 249356800, 738840960, 2216522880, 6730407936, 20678434920, 64248260076, 201838500864

Offset: 3

Ed Pegg Jr, May 25 2001

nonn

We first maximize x and then minimize z, which may be different from doing the opposite way around. For example, 7! = 15*16*21 = 14*18*20 is the case when absolute maximum of x (=15) and absolute minimum of z (=20) cannot be achieved together. - Max Alekseyev, Jun 18 2022

Luc Kumps, personal communication.

Max Alekseyev, Table of n, a(n) for n = 3..100

Cf. A061030, A061032, A061033, A060776, A060777, A060795, A060796, A200743, A200744.

a(10) and a(11) corrected and a(14)-a(31) from Donovan Johnson, May 11 2010

Definition and a(14), a(18), a(24) are corrected by Max Alekseyev, Apr 10 2022

cp's OEIS Frontend

A061055 Duplicate of A060776.

Views

Author

Keywords

A033676 Largest divisor of n <= sqrt(n).

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Python

Formula

A060775 The greatest divisor d|n such that d < n/d, with a(1) = 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A060777 Larger central (or median) divisor of n!.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A060796 Upper central divisor of n-th primorial.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A060795 Write product of first n primes as x*y with x

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A061030 Factorial splitting: write n! = x*y*z with x

Views

Author

Keywords

Examples

References

Links

A061030 Factorial splitting: write n! = xyz with x

A061032 Factorial splitting: write n! = xyz with x

A061031 Factorial splitting: write n! = xyz with x