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 40 results. Next

A053100 a(n) = ((6*n+7)(!^6))/7, related to A008542 ((6*n+1)(!^6) sextic, or 6-factorials).

Original entry on oeis.org

1, 13, 247, 6175, 191425, 7082725, 304557175, 14923301575, 820781586625, 50067676784125, 3354534344536375, 244881007151155375, 19345599564941274625, 1644375963020008343125, 149638212634820759224375
Offset: 0

Views

Author

Keywords

Comments

Row m=7 of the array A(7; m,n) := ((6*n+m)(!^6))/m(!^6), m >= 0, n >= 0.

Crossrefs

Cf. A047058, A008542(n+1), A034689(n+1), A034723(n+1), A034724(n+1), A034787(n+1), A034788(n+1), this sequence, A053101, A053102, A053103 (rows m=0..10).

Programs

  • Magma
    m:=30; R:=PowerSeriesRing(Rationals(), m); b:=Coefficients(R!(1/(1-6*x)^(13/6))); [Factorial(n-1)*b[n]: n in [1..m]]; // G. C. Greubel, Aug 15 2018
  • Mathematica
    s=1;lst={s};Do[s+=n*s;AppendTo[lst, s], {n, 12, 5!, 6}];lst (* Vladimir Joseph Stephan Orlovsky, Nov 08 2008 *)
    With[{nn=20},CoefficientList[Series[1/(1-6x)^(13/6),{x,0,nn}],x] Range[0,nn]!] (* Harvey P. Dale, Apr 20 2015 *)
  • PARI
    x='x+O('x^30); Vec(serlaplace(1/(1-6*x)^(13/6))) \\ G. C. Greubel, Aug 15 2018
    

Formula

a(n) = ((6*n+7)(!^6))/7(!^6) = A008542(n+2)/7.
E.g.f.: 1/(1-6*x)^(13/6).

A034789 Related to sextic factorial numbers A008542.

Original entry on oeis.org

1, 21, 546, 15561, 466830, 14471730, 458960580, 14801478705, 483514971030, 15955994043990, 530899438190940, 17785131179396490, 599222112044281740, 20287948650642110340, 689790254121831751560, 23539092421907508521985, 805867752326480585870310, 27668126163209166781547310
Offset: 1

Views

Author

Keywords

Comments

Convolution of A004993(n-1) with A025751(n), n >= 1.

Crossrefs

Programs

  • GAP
    List([1..20], n-> 6^(n-1)*Product([1..n], j-> 6*j-5)/Factorial(n) ); # G. C. Greubel, Nov 11 2019
  • Magma
    [6^(n-1)*(&*[6*j-5: j in [1..n]])/Factorial(n): n in [1..20]]; // G. C. Greubel, Nov 11 2019
    
  • Maple
    seq( 6^(n-1)*mul(6*j-5, j=1..n)/n!, n=1..20); # G. C. Greubel, Nov 11 2019
  • Mathematica
    Rest@ CoefficientList[Series[(-1 + (1 - 36 x)^(-1/6))/6, {x, 0, 16}], x] (* Michael De Vlieger, Oct 13 2019 *)
    Table[6^(2*n-1)*Pochhammer[1/6, n]/n!, {n, 20}] (* G. C. Greubel, Nov 11 2019 *)
  • PARI
    vector(20, n, 6^(n-1)*prod(j=1,n, 6*j-5)/n! ) \\ G. C. Greubel, Nov 11 2019
    
  • Sage
    [6^(n-1)*product( (6*j-5) for j in (1..n))/factorial(n) for n in (1..20)] # G. C. Greubel, Nov 11 2019
    

Formula

a(n) = 6^(n-1)*A008542(n)/n!.
G.f.: (-1+(1-36*x)^(-1/6))/6.
D-finite with recurrence: n*a(n) + 6*(-6*n+5)*a(n-1) = 0. - R. J. Mathar, Jan 28 2020
a(n) ~ 6^(2*n-1) * n^(-5/6) / Gamma(1/6). - Amiram Eldar, Aug 18 2025

A132393 Triangle of unsigned Stirling numbers of the first kind (see A048994), read by rows, T(n,k) for 0 <= k <= n.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 2, 3, 1, 0, 6, 11, 6, 1, 0, 24, 50, 35, 10, 1, 0, 120, 274, 225, 85, 15, 1, 0, 720, 1764, 1624, 735, 175, 21, 1, 0, 5040, 13068, 13132, 6769, 1960, 322, 28, 1, 0, 40320, 109584, 118124, 67284, 22449, 4536, 546, 36, 1, 0, 362880, 1026576, 1172700, 723680, 269325, 63273, 9450, 870, 45, 1
Offset: 0

Views

Author

Philippe Deléham, Nov 10 2007, Oct 15 2008, Oct 17 2008

Keywords

Comments

Another name: Triangle of signless Stirling numbers of the first kind.
Triangle T(n,k), 0<=k<=n, read by rows given by [0,1,1,2,2,3,3,4,4,5,5,...] DELTA [1,0,1,0,1,0,1,0,1,...] where DELTA is the operator defined in A084938.
A094645*A007318 as infinite lower triangular matrices.
Row sums are the factorial numbers. - Roger L. Bagula, Apr 18 2008
Exponential Riordan array [1/(1-x), log(1/(1-x))]. - Ralf Stephan, Feb 07 2014
Also the Bell transform of the factorial numbers (A000142). For the definition of the Bell transform see A264428 and for cross-references A265606. - Peter Luschny, Dec 31 2015
This is the lower triagonal Sheffer matrix of the associated or Jabotinsky type |S1| = (1, -log(1-x)) (see the W. Lang link under A006232 for the notation and references). This implies the e.g.f.s given below. |S1| is the transition matrix from the monomial basis {x^n} to the rising factorial basis {risefac(x,n)}, n >= 0. - Wolfdieter Lang, Feb 21 2017
T(n, k), for n >= k >= 1, is also the total volume of the n-k dimensional cell (polytope) built from the n-k orthogonal vectors of pairwise different lengths chosen from the set {1, 2, ..., n-1}. See the elementary symmetric function formula for T(n, k) and an example below. - Wolfdieter Lang, May 28 2017
From Wolfdieter Lang, Jul 20 2017: (Start)
The compositional inverse w.r.t. x of y = y(t;x) = x*(1 - t(-log(1-x)/x)) = x + t*log(1-x) is x = x(t;y) = ED(y,t) := Sum_{d>=0} D(d,t)*y^(d+1)/(d+1)!, the e.g.f. of the o.g.f.s D(d,t) = Sum_{m>=0} T(d+m, m)*t^m of the diagonal sequences of the present triangle. See the P. Bala link for a proof (there d = n-1, n >= 1, is the label for the diagonals).
This inversion gives D(d,t) = P(d, t)/(1-t)^(2*d+1), with the numerator polynomials P(d, t) = Sum_{m=0..d} A288874(d, m)*t^m. See an example below. See also the P. Bala formula in A112007. (End)
For n > 0, T(n,k) is the number of permutations of the integers from 1 to n which have k visible digits when viewed from a specific end, in the sense that a higher value hides a lower one in a subsequent position. - Ian Duff, Jul 12 2019

Examples

			Triangle T(n,k) begins:
  1;
  0,    1;
  0,    1,     1;
  0,    2,     3,     1;
  0,    6,    11,     6,    1;
  0,   24,    50,    35,   10,    1;
  0,  120,   274,   225,   85,   15,   1;
  0,  720,  1764,  1624,  735,  175,  21,  1;
  0, 5040, 13068, 13132, 6769, 1960, 322, 28, 1;
  ...
---------------------------------------------------
Production matrix is
  0, 1
  0, 1, 1
  0, 1, 2,  1
  0, 1, 3,  3,  1
  0, 1, 4,  6,  4,  1
  0, 1, 5, 10, 10,  5,  1
  0, 1, 6, 15, 20, 15,  6, 1
  0, 1, 7, 21, 35, 35, 21, 7, 1
  ...
From _Wolfdieter Lang_, May 09 2017: (Start)
Three term recurrence: 50 = T(5, 2) = 1*6 + (5-1)*11 = 50.
Recurrence from the Sheffer a-sequence [1, 1/2, 1/6, 0, ...]: 50 = T(5, 2) = (5/2)*(binomial(1, 1)*1*6 + binomial(2, 1)*(1/2)*11 + binomial(3, 1)*(1/6)*6 + 0) = 50. The vanishing z-sequence produces the k=0 column from T(0, 0) = 1. (End)
Elementary symmetric function T(4, 2) = sigma^{(3)}_2 = 1*2 + 1*3 + 2*3 = 11. Here the cells (polytopes) are 3 rectangles with total area 11. - _Wolfdieter Lang_, May 28 2017
O.g.f.s of diagonals: d=2 (third diagonal) [0, 6, 50, ...] has D(2,t) = P(2, t)/(1-t)^5, with P(2, t) = 2 + t, the n = 2 row of A288874. - _Wolfdieter Lang_, Jul 20 2017
Boas-Buck recurrence for column k = 2 and n = 5: T(5, 2) = (5!*2/3)*((3/8)*T(2,2)/2! + (5/12)*T(3,2)/3! + (1/2)*T(4,2)/4!) = (5!*2/3)*(3/16 + (5/12)*3/3! + (1/2)*11/4!) = 50. The beta sequence begins: {1/2, 5/12, 3/8, ...}. - _Wolfdieter Lang_, Aug 11 2017
		

References

  • Miklos Bona, editor, Handbook of Enumerative Combinatorics, CRC Press, 2015, pages 31, 187, 441, 996.
  • R. L. Graham, D. E. Knuth, and O. Patashnik, Concrete Mathematics. Addison-Wesley, Reading, MA, 2nd. ed., Table 259, p. 259.
  • Steve Roman, The Umbral Calculus, Dover Publications, New York (1984), pp. 149-150

Crossrefs

Essentially a duplicate of A048994. Cf. A008275, A008277, A112007, A130534, A288874, A354795.

Programs

  • Haskell
    a132393 n k = a132393_tabl !! n !! k
    a132393_row n = a132393_tabl !! n
    a132393_tabl = map (map abs) a048994_tabl
    -- Reinhard Zumkeller, Nov 06 2013
    
  • Maple
    a132393_row := proc(n) local k; seq(coeff(expand(pochhammer (x,n)),x,k),k=0..n) end: # Peter Luschny, Nov 28 2010
  • Mathematica
    p[t_] = 1/(1 - t)^x; Table[ ExpandAll[(n!)SeriesCoefficient[ Series[p[t], {t, 0, 30}], n]], {n, 0, 10}]; a = Table[(n!)* CoefficientList[SeriesCoefficient[ Series[p[t], {t, 0, 30}], n], x], {n, 0, 10}]; Flatten[a] (* Roger L. Bagula, Apr 18 2008 *)
    Flatten[Table[Abs[StirlingS1[n,i]],{n,0,10},{i,0,n}]] (* Harvey P. Dale, Feb 04 2014 *)
  • Maxima
    create_list(abs(stirling1(n,k)),n,0,12,k,0,n); /* Emanuele Munarini, Mar 11 2011 */
    
  • PARI
    column(n,k) = my(v1, v2); v1 = vector(n-1, i, 0); v2 = vector(n, i, 0); v2[1] = 1; for(i=1, n-1, v1[i] = (i+k)*(i+k-1)/2*v2[i]; for(j=1, i-1, v1[j] *= (i-j)*(i+k)/(i-j+2)); v2[i+1] = vecsum(v1)/i); v2 \\ generates n first elements of the k-th column starting from the first nonzero element. - Mikhail Kurkov, Mar 05 2025

Formula

T(n,k) = T(n-1,k-1)+(n-1)*T(n-1,k), n,k>=1; T(n,0)=T(0,k); T(0,0)=1.
Sum_{k=0..n} T(n,k)*x^(n-k) = A000012(n), A000142(n), A001147(n), A007559(n), A007696(n), A008548(n), A008542(n), A045754(n), A045755(n) for x = 0, 1, 2, 3, 4, 5, 6, 7, 8 respectively. - Philippe Deléham, Nov 13 2007
Expand 1/(1-t)^x = Sum_{n>=0}p(x,n)*t^n/n!; then the coefficients of the p(x,n) produce the triangle. - Roger L. Bagula, Apr 18 2008
Sum_{k=0..n} T(n,k)*2^k*x^(n-k) = A000142(n+1), A000165(n), A008544(n), A001813(n), A047055(n), A047657(n), A084947(n), A084948(n), A084949(n) for x = 1, 2, 3, 4, 5, 6, 7, 8, 9 respectively. - Philippe Deléham, Sep 18 2008
a(n) = Sum_{k=0..n} T(n,k)*3^k*x^(n-k) = A001710(n+2), A001147(n+1), A032031(n), A008545(n), A047056(n), A011781(n), A144739(n), A144756(n), A144758(n) for x=1,2,3,4,5,6,7,8,9,respectively. - Philippe Deléham, Sep 20 2008
Sum_{k=0..n} T(n,k)*4^k*x^(n-k) = A001715(n+3), A002866(n+1), A007559(n+1), A047053(n), A008546(n), A049308(n), A144827(n), A144828(n), A144829(n) for x=1,2,3,4,5,6,7,8,9 respectively. - Philippe Deléham, Sep 21 2008
Sum_{k=0..n} x^k*T(n,k) = x*(1+x)*(2+x)*...*(n-1+x), n>=1. - Philippe Deléham, Oct 17 2008
From Wolfdieter Lang, Feb 21 2017: (Start)
E.g.f. k-th column: (-log(1 - x))^k, k >= 0.
E.g.f. triangle (see the Apr 18 2008 Baluga comment): exp(-x*log(1-z)).
E.g.f. a-sequence: x/(1 - exp(-x)). See A164555/A027642. The e.g.f. for the z-sequence is 0. (End)
From Wolfdieter Lang, May 28 2017: (Start)
The row polynomials R(n, x) = Sum_{k=0..n} T(n, k)*x^k, for n >= 0, are R(n, x) = risefac(x,n-1) := Product_{j=0..n-1} x+j, with the empty product for n=0 put to 1. See the Feb 21 2017 comment above. This implies:
T(n, k) = sigma^{(n-1)}_(n-k), for n >= k >= 1, with the elementary symmetric functions sigma^{(n-1)}_m of degree m in the n-1 symbols 1, 2, ..., n-1, with binomial(n-1, m) terms. See an example below.(End)
Boas-Buck type recurrence for column sequence k: T(n, k) = (n!*k/(n - k)) * Sum_{p=k..n-1} beta(n-1-p)*T(p, k)/p!, for n > k >= 0, with input T(k, k) = 1, and beta(k) = A002208(k+1)/A002209(k+1). See a comment and references in A286718. - Wolfdieter Lang, Aug 11 2017
T(n,k) = Sum_{j=k..n} j^(j-k)*binomial(j-1, k-1)*A354795(n,j) for n > 0. - Mélika Tebni, Mar 02 2023
n-th row polynomial: n!*Sum_{k = 0..2*n} (-1)^k*binomial(-x, k)*binomial(-x, 2*n-k) = n!*Sum_{k = 0..2*n} (-1)^k*binomial(1-x, k)*binomial(-x, 2*n-k). - Peter Bala, Mar 31 2024
From Mikhail Kurkov, Mar 05 2025: (Start)
For a general proof of the formulas below via generating functions, see Mathematics Stack Exchange link.
Recursion for the n-th row (independently of other rows): T(n,k) = 1/(n-k)*Sum_{j=2..n-k+1} binomial(-k,j)*T(n,k+j-1)*(-1)^j for 1 <= k < n with T(n,n) = 1.
Recursion for the k-th column (independently of other columns): T(n,k) = 1/(n-k)*Sum_{j=2..n-k+1} (j-2)!*binomial(n,j)*T(n-j+1,k) for 1 <= k < n with T(n,n) = 1 (see Fedor Petrov link). (End)

A085158 Sextuple factorials, 6-factorials, n!!!!!!, n!6.

Original entry on oeis.org

1, 1, 2, 3, 4, 5, 6, 7, 16, 27, 40, 55, 72, 91, 224, 405, 640, 935, 1296, 1729, 4480, 8505, 14080, 21505, 31104, 43225, 116480, 229635, 394240, 623645, 933120, 1339975, 3727360, 7577955, 13404160, 21827575, 33592320, 49579075, 141639680
Offset: 0

Views

Author

Hugo Pfoertner, Jun 21 2003

Keywords

Comments

The term "Sextuple factorial numbers" is also used for the sequences A008542, A008543, A011781, A047058, A047657, A049308, which have a different definition. The definition given here is the one commonly used.

Examples

			a(14) = 224 because 14*a(14-6) = 14*a(8) = 14*16 = 224.
		

Crossrefs

Cf. n!:A000142, n!!:A006882, n!!!:A007661, n!!!!:A007662, n!!!!!:A085157, 6-factorial primes: n!!!!!!+1:A085150, n!!!!!!-1:A051592.
Cf. A288093.

Programs

  • GAP
    a:= function(n)
        if n<1 then return 1;
        else return n*a(n-6);
        fi;
      end;
    List([0..40], n-> a(n) ); # G. C. Greubel, Aug 21 2019
  • Magma
    b:=func< n | n le 6 select n else n*Self(n-6) >;
    [1] cat [b(n): n in [1..40]]; // G. C. Greubel, Aug 21 2019
    
  • Maple
    a:= n-> `if`(n<1, 1, n*a(n-6)); seq(a(n), n=0..40); # G. C. Greubel, Aug 21 2019
  • Mathematica
    Table[Times@@Range[n,1,-6],{n,0,40}] (* Harvey P. Dale, Aug 10 2019 *)
  • PARI
    a(n)=if(n<1, 1, n*a(n-6));
    vector(40, n, n--; a(n) ) \\ G. C. Greubel, Aug 21 2019
    
  • Sage
    def a(n):
        if (n<1): return 1
        else: return n*a(n-6)
    [a(n) for n in (0..40)] # G. C. Greubel, Aug 21 2019
    

Formula

a(n)=1 for n < 1, otherwise a(n) = n*a(n-6).
Sum_{n>=0} 1/a(n) = A288093. - Amiram Eldar, Nov 10 2020

A045754 7-fold factorials: a(n) = Product_{k=0..n-1} (7*k+1).

Original entry on oeis.org

1, 1, 8, 120, 2640, 76560, 2756160, 118514880, 5925744000, 337767408000, 21617114112000, 1534815101952000, 119715577952256000, 10175824125941760000, 936175819586641920000, 92681406139077550080000, 9824229050742220308480000, 1110137882733870894858240000
Offset: 0

Views

Author

Keywords

Crossrefs

See also A113134.
Unsigned row sums of triangle A051186 (scaled Stirling1).
First column of triangle A132056 (S2(8)).

Programs

  • GAP
    List([0..20], n-> Product([0..n-1], k-> 7*k+1) ); # G. C. Greubel, Aug 21 2019
  • Magma
    [1] cat [&*[7*j+1: j in [0..n-1]]: n in [1..20]]; // G. C. Greubel, Aug 21 2019
    
  • Maple
    f := n->product( (7*k+1), k=0..(n-1));
    G(x):=(1-7*x)^(-1/7): f[0]:=G(x): for n from 1 to 29 do f[n]:=diff(f[n-1],x) od: x:=0: seq(f[n],n=0..14); # Zerinvary Lajos, Apr 03 2009
  • Mathematica
    FoldList[Times, 1, 7Range[0, 20] + 1] (* Harvey P. Dale, Jan 21 2013 *)
  • PARI
    a(n)=prod(k=0,n-1,7*k+1)
    
  • Sage
    [7^n*rising_factorial(1/7, n) for n in (0..20)] # G. C. Greubel, Aug 21 2019
    

Formula

a(n) = Sum_{k=0..n} (-7)^(n-k)*A048994(n, k), where A048994 = Stirling-1 numbers.
E.g.f.: (1-7*x)^(-1/7).
G.f.: 1/(1-x/(1-7*x/(1-8*x/(1-14*x/(1-15*x/(1-21*x/(1-22*x/(1-... (continued fraction). - Philippe Deléham, Jan 08 2012
a(n) = (-6)^n*Sum_{k=0..n} (7/6)^k*s(n+1,n+1-k), where s(n,k) are the Stirling numbers of the first kind, A048994. - Mircea Merca, May 03 2012
G.f.: 1/G(0), where G(k)= 1 - x*(7*k+1)/(1 - x*(7*k+7)/G(k+1)); (continued fraction). - Sergei N. Gladkovskii, Jun 05 2013
G.f.: G(0)/2, where G(k)= 1 + 1/(1 - x*(7*k+1)/(x*(7*k+1) + 1/G(k+1))); (continued fraction). - Sergei N. Gladkovskii, Jun 05 2013
a(n) = 7^n * Gamma(n + 1/7) / Gamma(1/7). - Artur Jasinski, Aug 23 2016
a(n) = A114799(7n-6). - M. F. Hasler, Feb 23 2018
D-finite with recurrence: a(n) +(-7*n+6)*a(n-1)=0. - R. J. Mathar, Jan 17 2020
Sum_{n>=0} 1/a(n) = 1 + (e/7^6)^(1/7)*(Gamma(1/7) - Gamma(1/7, 1/7)). - Amiram Eldar, Dec 19 2022

Extensions

Additional comments from Philippe Deléham and Paul D. Hanna, Oct 29 2005
Edited by N. J. A. Sloane, Oct 16 2008 at the suggestion of M. F. Hasler, Oct 14 2008
Corrected by Zerinvary Lajos, Apr 03 2009

A092082 Triangle of numbers related to triangle A092083; generalization of Stirling numbers of second kind A008277, Lah-numbers A008297, ...

Original entry on oeis.org

1, 7, 1, 91, 21, 1, 1729, 511, 42, 1, 43225, 15015, 1645, 70, 1, 1339975, 523705, 69300, 4025, 105, 1, 49579075, 21240765, 3226405, 230300, 8330, 147, 1, 2131900225, 984172735, 166428990, 13820205, 621810, 15386, 196, 1, 104463111025
Offset: 1

Views

Author

Wolfdieter Lang, Mar 19 2004

Keywords

Comments

a(n,m) := S2(7; n,m) is the seventh triangle of numbers in the sequence S2(k;n,m), k=1..6: A008277 (unsigned Stirling 2nd kind), A008297 (unsigned Lah), A035342, A035469, A049029, A049385, respectively. a(n,1)=A008542(n), n>=1.
a(n,m) enumerates unordered n-vertex m-forests composed of m plane increasing 7-ary trees. Proof based on the a(n,m) recurrence. See also the F. Bergeron et al. reference, especially Table 1, first row and Example 1 for the e.g.f. for m=1. - Wolfdieter Lang, Sep 14 2007
Also the Bell transform of A008542(n+1). For the definition of the Bell transform see A264428. - Peter Luschny, Jan 26 2016

Examples

			{1}; {7,1}; {91,21,1}; {1729,511,42,1}; ...
		

Crossrefs

Cf. A092084 (row sums), A092085 (alternating row sums).

Programs

  • Maple
    # The function BellMatrix is defined in A264428.
    # Adds (1, 0, 0, 0, ..) as column 0.
    BellMatrix(n -> mul(6*k+1, k=0..n), 9); # Peter Luschny, Jan 26 2016
  • Mathematica
    mmax = 9; a[n_, m_] := n!*Coefficient[Series[((-1 + (1 - 6*x)^(-1/6))^m)/m!, {x, 0, mmax}], x^n];
    Flatten[Table[a[n, m], {n, 1, mmax}, {m, 1, n}]][[1 ;; 37]] (* Jean-François Alcover, Jun 22 2011, after e.g.f. *)
    rows = 9;
    t = Table[Product[6k+1, {k, 0, n}], {n, 0, rows}];
    T[n_, k_] := BellY[n, k, t];
    Table[T[n, k], {n, 1, rows}, {k, 1, n}] // Flatten (* Jean-François Alcover, Jun 22 2018, after Peter Luschny *)

Formula

a(n, m) = sum(|A051151(n, j)|*S2(j, m), j=m..n) (matrix product), with S2(j, m) := A008277(j, m) (Stirling2 triangle). Priv. comm. with Wolfdieter Lang by E. Neuwirth, Feb 15 2001; see also the 2001 Neuwirth reference. See the general comment on products of Jabotinsky matrices given under A035342.
a(n, m) = n!*A092083(n, m)/(m!*6^(n-m)); a(n+1, m) = (6*n+m)*a(n, m)+ a(n, m-1), n >= m >= 1; a(n, m) := 0, n
E.g.f. for m-th column: ((-1+(1-6*x)^(-1/6))^m)/m!.

A045755 8-fold factorials: a(n) = Product_{k=0..n-1} (8*k+1).

Original entry on oeis.org

1, 1, 9, 153, 3825, 126225, 5175225, 253586025, 14454403425, 939536222625, 68586144251625, 5555477684381625, 494437513909964625, 47960438849266568625, 5035846079172989705625, 569050606946547836735625, 68855123440532288245010625, 8882310923828665183606370625
Offset: 0

Keywords

Crossrefs

Cf. k-fold factorials : A000142, A001147, A007559, A007696, A008548, A008542, A045754.

Programs

  • GAP
    List([0..20], n-> Product([0..n-1], j-> 8*j+1) ); # G. C. Greubel, Nov 11 2019
  • Magma
    [1] cat [(&*[8*j+1: j in [0..n-1]]): n in [1..20]]; // G. C. Greubel, Nov 11 2019
    
  • Maple
    a := n->product(8*k+1), k=0..(n-1));
  • Mathematica
    Table[8^n*Pochhammer[1/8, n], {n,0,20}] (* G. C. Greubel, Nov 11 2019 *)
  • PARI
    a(n)=prod(k=0, n, 8*k+1);
    
  • Sage
    [product( (8*j+1) for j in (0..n-1)) for n in (0..20)] # G. C. Greubel, Nov 11 2019
    

Formula

a(n+1) = (8*n+1)(!^8).
a(n) = Sum_{k=0..n} (-8)^(n-k)*A048994(n, k); A048994 = Stirling-1 numbers.
E.g.f.: (1-8*x)^(-1/8).
G.f.: 1+x/(1-9x/(1-8x/(1-17x/(1-16x/(1-25x/(1-24x/(1-33x/(1-32x/(1-... (continued fraction). - Philippe Deléham, Jan 07 2012
a(n) = (-7)^n*Sum_{k=0..n} (8/7)^k*s(n+1,n+1-k), where s(n,k) are the Stirling numbers of the first kind, A048994. [Mircea Merca, May 03 2012]
G.f.: 1/Q(0) where Q(k) = 1 - x*(8*k+1)/(1 - x*(8*k+8)/Q(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Mar 20 2013
G.f.: 2/G(0), where G(k)= 1 + 1/(1 - 2*x*(8*k+1)/(2*x*(8*k+1) - 1 + 16*x*(k+1)/G(k+1))); (continued fraction). - Sergei N. Gladkovskii, May 30 2013
G.f.: G(0)/2, where G(k)= 1 + 1/(1 - x*(8*k+1)/(x*(8*k+1) + 1/G(k+1))); (continued fraction). - Sergei N. Gladkovskii, Jun 05 2013
a(n) = 8^n * Gamma(n + 1/8) / Gamma(1/8). - Artur Jasinski,Aug 23 2016
a(n) ~ sqrt(2*Pi) * 8^n * n^(n - 3/8)/(Gamma(1/8)*exp(n)). - Ilya Gutkovskiy, Sep 10 2016
D-finite with recurrence: a(n) +(-8*n+7)*a(n-1)=0. - R. J. Mathar, Jan 17 2020
Sum_{n>=0} 1/a(n) = 1 + (e/8^7)^(1/8)*(Gamma(1/8) - Gamma(1/8, 1/8)). - Amiram Eldar, Dec 20 2022

Extensions

Additional comments from Philippe Deléham and Paul D. Hanna, Oct 29 2005
Edited by N. J. A. Sloane, Oct 14 2008 at the suggestion of Artur Jasinski.

A045756 Expansion of e.g.f. (1-9*x)^(-1/9), 9-factorial numbers.

Original entry on oeis.org

1, 1, 10, 190, 5320, 196840, 9054640, 498005200, 31872332800, 2326680294400, 190787784140800, 17361688356812800, 1736168835681280000, 189242403089259520000, 22330603564532623360000, 2835986652695643166720000, 385694184766607470673920000, 55925656791158083247718400000
Offset: 0

Keywords

Comments

Nine-fold factorials of numbers 9k+1, k = 0, 1, 2, ... - M. F. Hasler, Feb 14 2020

Crossrefs

Cf. A008542, A048994, A114806 (9-fold factorials), A132393.
Cf. k-fold factorials : A000142 ("1-fold"), A001147 (2-fold), A007559 (3), A007696 (4), A008548 (5), A008542 (6), A045754 (7), A045755 (8), A144773 (10), A256268 (combined table).

Programs

  • GAP
    List([0..20], n-> Product([0..n-1], j-> 9*j+1) ); # G. C. Greubel, Nov 11 2019
  • Magma
    [1] cat [(&*[9*j+1: j in [0..n-1]]): n in [1..20]]; // G. C. Greubel, Nov 11 2019
    
  • Maple
    seq( mul(9*j+1, j=0..n-1), n=0..20); # G. C. Greubel, Nov 11 2019
  • Mathematica
    Table[9^n*Pochhammer[1/9, n], {n,0,20}] (* G. C. Greubel, Nov 11 2019 *)
  • PARI
    vector(21, n, prod(j=0,n-2, 9*j+1) ) \\ G. C. Greubel, Nov 11 2019
    
  • Sage
    [product( (9*j+1) for j in (0..n-1)) for n in (0..20)] # G. C. Greubel, Nov 11 2019
    

Formula

a(n+1) = (9*n+1)(!^9) = Product_{k=0..n-1} (9*k+1), n >= 0.
E.g.f. (1-9*x)^(-1/9).
D-finite with recurrence: a(n) +(-9*n+8)*a(n-1)=0. - R. J. Mathar, Jan 17 2020
a(n) = A114806(9n-8). - M. F. Hasler, Feb 14 2020
a(n) = Sum_{k = 0..n} (-9)^(n - k) * A048994(n, k) = Sum_{k = 0..n} 9^(n - k) * A132393(n, k). Philippe Deléham, Sep 20 2008
a(n) = (-8)^n * sum_{k = 0..n} (9/8)^k * s(n + 1, n + 1 - k), where s(n, k) are the Stirling numbers of the first kind, A048994. - Mircea Merca, May 03 2012
a(n) = 9^n * Gamma(n + 1/9) / Gamma(1/9). - Artur Jasinski Aug 23 2016
a(n) ~ sqrt(2 * Pi) * 9^n * n^(n - 7/18)/(Gamma(1/9) * exp(n)). - Ilya Gutkovskiy, Sep 10 2016
Sum_{n>=0} 1/a(n) = 1 + (e/9^8)^(1/9)*(Gamma(1/9) - Gamma(1/9, 1/9)). - Amiram Eldar, Dec 21 2022

Extensions

a(0)=1 inserted; merged with A144772; formulas and programs changed accordingly by Georg Fischer, Feb 15 2020

A047058 a(n) = 6^n * n!.

Original entry on oeis.org

1, 6, 72, 1296, 31104, 933120, 33592320, 1410877440, 67722117120, 3656994324480, 219419659468800, 14481697524940800, 1042682221795737600, 81329213300067532800, 6831653917205672755200, 614848852548510547968000
Offset: 0

Author

Joe Keane (jgk(AT)jgk.org)

Keywords

Comments

For n >= 1, a(n) is the order of the wreath product of the symmetric group S_n and the Abelian group (C_6)^n. - Ahmed Fares (ahmedfares(AT)my-deja.com), May 07 2001
a(n) is the number of ways 3 members of each of n different teams can be arranged in a row so that members of the same team are together. - Geoffrey Critzer, Mar 30 2009
From Jianing Song, Mar 29 2021: (Start)
Number of n X n monomial matrices with entries 0, +/-1, +/-w, +/-w^2, where w = (-1 + sqrt(3)*i)/2 is a primitive 3rd root of unity.
a(n) is the order of the group U_n(Z[w]) = {A in M_n(Z[w]): A*A^H = I_n}, the group of n X n unitary matrices over the Eisenstein integers. Here A^H is the conjugate transpose of A. (End)

Programs

Formula

a(n) = A051151(n+1, 0).
E.g.f.: 1/(1 - 6*x).
G.f.: 1/(1 -6*x/(1 - 6*x/(1 - 12*x/(1 - 12*x/(1 - 18*x/(1 - 18*x/(1 - 24*x/(1 - 24*x/(1 - 30*x/(1 - 30*x/(1 -... (continued fraction). - Philippe Deléham, Jan 08 2012
From Amiram Eldar, Jun 25 2020: (Start)
Sum_{n>=0} 1/a(n) = e^(1/6) (A092515).
Sum_{n>=0} (-1)^n/a(n) = e^(-1/6) (A092727). (End)

Extensions

Name changed by Arkadiusz Wesolowski, Oct 04 2011

A047657 Sextuple factorial numbers: a(n) = Product_{k=0..n-1} (6*k+2).

Original entry on oeis.org

1, 2, 16, 224, 4480, 116480, 3727360, 141639680, 6232145920, 311607296000, 17450008576000, 1081900531712000, 73569236156416000, 5444123475574784000, 435529878045982720000, 37455569511954513920000, 3445912395099815280640000, 337699414719781897502720000
Offset: 0

Author

Joe Keane (jgk(AT)jgk.org)

Keywords

Programs

  • GAP
    List([0..20], n-> Product([0..n-1], k-> 6*k+2) ); # G. C. Greubel, Aug 18 2019
  • Magma
    [1] cat [(&*[6*k+2: k in [0..n-1]]): n in [1..20]]; // G. C. Greubel, Aug 18 2019
    
  • Maple
    a:= n->product(6*j+2, j=0..n-1); seq(a(n), n=0..20); # G. C. Greubel, Aug 18 2019
  • Mathematica
    b[1]=2; b[n_]:= b[n] = b[n-1] +6; a[0]=1; a[1]=2; a[n_]:= a[n] = a[n-1]*b[n]; Table[a[n], {n,0,20}] (* Roger L. Bagula, Sep 17 2008 *)
    FoldList[Times,1,6*Range[0,20]+2] (* Harvey P. Dale, Aug 06 2013 *)
    Table[6^n*Pochhammer[1/3, n], {n,0,20}] (* G. C. Greubel, Aug 18 2019 *)
  • PARI
    vector(20, n, n--; prod(k=0, n-1, 6*k+2)) \\ G. C. Greubel, Aug 18 2019
    
  • Sage
    [product(6*k+2 for k in (0..n-1)) for n in (0..20)] # G. C. Greubel, Aug 18 2019
    

Formula

E.g.f.: (1-6*x)^(-1/3).
a(n) = 2^n*A007559(n).
a(n) = A084941(n)/A000142(n)*A000079(n) = 6^n*Pochhammer(1/3, n) = 1/2*6^n*Gamma(n+1/3)*sqrt(3)*Gamma(2/3)/Pi. - Daniel Dockery (peritus(AT)gmail.com), Jun 13 2003
Let b(n) = b(n-1) + 6; then a(n) = b(n)*a(n-1). - Roger L. Bagula, Sep 17 2008
G.f.: 1/(1-2*x/(1-6*x/(1-8*x/(1-12*x/(1-14*x/(1-18*x/(1-20*x/(1-24*x/(1-26*x/(1-... (continued fraction). - Philippe Deléham, Jan 08 2012
a(n) = (-4)^n*Sum_{k=0..n} (3/2)^k*s(n+1,n+1-k), where s(n,k) are the Stirling numbers of the first kind, A048994. - Mircea Merca, May 03 2012
G.f.: 1/G(0) where G(k) = 1 - x*(6*k+2)/( 1 - 6*x*(k+1)/G(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Mar 23 2013
D-finite with recurrence: a(n) +2*(-3*n+2)*a(n-1)=0. - R. J. Mathar, Jan 17 2020
Sum_{n>=0} 1/a(n) = 1 + exp(1/6)*(Gamma(1/3) - Gamma(1/3, 1/6))/6^(2/3). - Amiram Eldar, Dec 18 2022
a(n) ~ sqrt(Pi) * 2^(n+1/2) * (3/e)^n * n^(n-1/6) / Gamma(1/3). - Amiram Eldar, Sep 01 2025
Showing 1-10 of 40 results. Next