A178529 -id:A178529 - cp's OEIS frontend

A008977 a(n) = (4*n)!/(n!)^4.

1, 24, 2520, 369600, 63063000, 11732745024, 2308743493056, 472518347558400, 99561092450391000, 21452752266265320000, 4705360871073570227520, 1047071828879079131681280, 235809301462142612780721600, 53644737765488792839237440000, 12309355935372581458927646400000

Offset: 0

N. J. A. Sloane

Number of paths of length 4*n in an n X n X n X n grid from (0,0,0,0) to (n,n,n,n).
a(n) occurs in Ramanujan's formula 1/Pi = (sqrt(8)/9801) * Sum_{n>=0} (4*n)!/(n!)^4 * (1103 + 26390*n)/396^(4*n). - Susanne Wienand, Jan 05 2013
a(n) is the number of ballot results that lead to a 4-way tie when 4*n voters each cast three votes for three out of four candidates vying for 3 slots on a county commission; each of these ballot results give 3*n votes to each of the four candidates. - Dennis P. Walsh, May 02 2013
a(n) is the constant term of (X + Y + Z + 1/(X*Y*Z))^(4*n). - Mark van Hoeij, May 07 2013
In Narumiya and Shiga on page 158 the g.f. is given as a hypergeometric function. - Michael Somos, Aug 12 2014
Diagonal of the rational function R(x,y,z,w) = 1/(1-(w+x+y+z)). - Gheorghe Coserea, Jul 15 2016

			a(13)=52!/(13!)^4=53644737765488792839237440000 is the number of ways of dealing the four hands in Bridge or Whist. - _Henry Bottomley_, Oct 06 2000
a(1)=24 since, in a 4-voter 3-vote election that ends in a four-way tie for candidates A, B, C, and D, there are 4! ways to arrange the needed vote sets {A,B,C}, {A,B,D}, {A,C,D}, and {B,C,D} among the 4 voters. - _Dennis P. Walsh_, May 02 2013
G.f. = 1 + 24*x + 2520*x^2 + 369600*x^3 + 63063000*x^4 + 11732745024*x^5 + ...

T. D. Noe, Table of n, a(n) for n=0..100
R. M. Dickau, Paths through a 4-D lattice.
S. Hassani, J.-M. Maillard, and N. Zenine, On the diagonals of rational functions: the minimal number of variables (unabridged version), arXiv:2502.05543 [math-ph], 2025. See pp. 41.
Timothy Huber, Daniel Schultz, and Dongxi Ye, Ramanujan-Sato series for 1/pi, Acta Arith. (2023) Vol. 207, 121-160. See p. 11.
Markus Kuba and Alois Panholzer, Lattice paths and the diagonal of the cube, arXiv:2411.03930 [math.CO], 2024.
R. Mestrovic, Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862-2011), arXiv:1111.3057 [math.NT], 2011.
Michaël Moortgat, The Tamari order for D^3 and derivability in semi-associative Lambek-Grishin Calculus, 15th Workshop: Computational Logic and Applications (CLA 2020).
N. Narumiya and H. Shiga, The mirror map for a family of K3 surfaces induced from the simplest 3-dimensional reflexive polytope, Proceedings on Moonshine and related topics (Montréal, QC, 1999), 139-161, CRM Proc. Lecture Notes, 30, Amer. Math. Soc., Providence, RI, 2001. MR1877764 (2002m:14030).

Cf. A000984, A006480, A008978, A178529, A000897, A002894, A002897, A006480, A008979, A186420, A188662.
Row 4 of A187783.
Related to diagonal of rational functions: A268545-A268555.

[Factorial(4*n)/Factorial(n)^4: n in [0..20]]; // Vincenzo Librandi, Aug 13 2014

Maple
```
A008977 := n->(4*n)!/(n!)^4;
```

Table[(4n)!/(n!)^4,{n,0,16}] (* Harvey P. Dale, Oct 24 2011 *)
a[ n_] := If[ n < 0, 0, (4 n)! / n!^4]; (* Michael Somos, Aug 12 2014 *)
a[ n_] := SeriesCoefficient[ HypergeometricPFQ[ {1/4, 2/4, 3/4}, {1, 1}, 256 x], {x, 0, n}]; (* Michael Somos, Aug 12 2014 *)

A008977(n):=(4*n)!/(n!)^4$ makelist(A008977(n),n,0,20); /* Martin Ettl, Nov 15 2012 */

a(n) = (4*n)!/n!^4; \\ Gheorghe Coserea, Jul 15 2016

from math import factorial
def A008977(n): return factorial(n<<2)//factorial(n)**4 # Chai Wah Wu, Mar 15 2023

a(n) = A139541(n)*(A001316(n)/A049606(n))^3. - Reinhard Zumkeller, Apr 28 2008
Self-convolution of A178529, where A178529(n) = (4^n/n!^2) * Product_{k=0..n-1} (8*k + 1)*(8*k + 3).
G.f.: hypergeom([1/8, 3/8], [1], 256*x)^2. - Mark van Hoeij, Nov 16 2011
a(n) ~ 2^(8*n - 1/2) / (Pi*n)^(3/2). - Vaclav Kotesovec, Mar 07 2014
G.f.: hypergeom([1/4, 2/4, 3/4], [1, 1], 256*x). - Michael Somos, Aug 12 2014
From Peter Bala, Jul 12 2016: (Start)
a(n) = binomial(2*n,n)*binomial(3*n,n)*binomial(4*n,n) = ( [x^n](1 + x)^(2*n) ) * ( [x^n](1 + x)^(3*n) ) * ( [x^n](1 + x)^(4*n) ) = [x^n](F(x)^(24*n)), where F(x) = 1 + x + 29*x^2 + 2246*x^3 + 239500*x^4 + 30318701*x^5 + 4271201506*x^6 + ... appears to have integer coefficients. For similar results see A000897, A002894, A002897, A006480, A008978, A008979, A186420 and A188662. (End)
0 = (x^2-256*x^3)*y''' + (3*x-1152*x^2)*y'' + (1-816*x)*y' - 24*y, where y is the g.f. - Gheorghe Coserea, Jul 15 2016
From Peter Bala, Jul 17 2016: (Start)
a(n) = Sum_{k = 0..3*n} (-1)^(n+k)*binomial(4*n,n + k)* binomial(n + k,k)^4.
a(n) = Sum_{k = 0..4*n} (-1)^k*binomial(4*n,k)*binomial(n + k,k)^4. (End)
E.g.f.: 3F3(1/4,1/2,3/4; 1,1,1; 256*x). - Ilya Gutkovskiy, Jan 23 2018
From Peter Bala, Feb 16 2020: (Start)
a(m*p^k) == a(m*p^(k-1)) ( mod p^(3*k) ) for prime p >= 5 and positive integers m and k - apply Mestrovic, equation 39, p. 12.
a(n) = [(x*y*z)^n] (1 + x + y + z)^(4*n). (End)
D-finite with recurrence n^3*a(n) -8*(4*n-3)*(2*n-1)*(4*n-1)*a(n-1)=0. - R. J. Mathar, Aug 01 2022
a(n) = 24*A082368(n). - R. J. Mathar, Jun 21 2023

A092870 Expansion of Hypergeometric function F(1/12, 5/12; 1; 1728*x) in powers of x.

Original entry on oeis.org

1, 60, 39780, 38454000, 43751038500, 54538294552560, 72081445966966800, 99225259048241726400, 140744828381240373790500, 204278086466816584003782000, 301931182921413583820949947280

Offset: 0

Michael Somos, Mar 08 2004

nonn

Self-convolution yields Sum_{k=0..n} a(n-k)*a(k) = A001421(n). - Paul D. Hanna, Jan 25 2011

Seiichi Manyama, Table of n, a(n) for n = 0..310 (terms 0..100 from Vincenzo Librandi)
R. S. Maier, Nonlinear differential equations satisfied by certain classical modular forms, arXiv:0807.1081 [math.NT], 2008-2010, p. 34 equation (7.29a).

Cf. A001421; variants: A184424, A178529, A184891, A184895, A184897. - Paul D. Hanna, Jan 25 2011

Cf. A289307.

CoefficientList[ Series[ Hypergeometric2F1[ 1/12, 5/12, 1, 1728 x], {x, 0, 10}], x]

{a(n) = local(an); if( n<1, n==0, an = vector(n+1); an[1] = 1; for(k=1, n, an[k+1] = an[k] * 12 * (12*k - 7) * (12*k - 11) / k^2); an[n+1])}

{a(n)=(12^n/n!^2)*prod(k=0, n-1, (12*k+1)*(12*k+5))} \\ Paul D. Hanna, Jan 25 2011

G.f.: F(1/12, 5/12; 1; 1728*x). a(n) * n^2 = a(n-1) * 12 * (12*n - 7) * (12*n - 11).
G.f. A(x) = y satisfies 0 = (1728*x^2 - x) * y" + (2592*x - 1) * y' + 60 * y.
a(n) = (12^n/n!^2) * Product_{k=0..n-1} (12k+1)*(12k+5). - Paul D. Hanna, Jan 25 2011
G.f.: A(x) = 1 + 60*x + 39780*x^2 + 38454000*x^3 +... with  A(x)^2 = 1 + 120*x + 83160*x^2 + 81681600*x^3 +...+ A184894(n)*x^n +... - Paul D. Hanna, Jan 25 2011
a(n) ~ 1728^n * GAMMA(11/12) * GAMMA(7/12) / (4*Pi^2*n^(3/2)). - Vaclav Kotesovec, Apr 20 2014

A184895 a(n) = (7^n/n!^2) * Product_{k=0..n-1} (14k+1)*(14k+6).

Original entry on oeis.org

1, 42, 22050, 16909900, 15269639700, 15109613875944, 15853342647837688, 17325438750851187600, 19510609713302293636050, 22482485054570487449402900, 26382746561837375612125315092, 31419888802098260334367621118904

Offset: 0

Paul D. Hanna, Jan 25 2011

nonn

			G.f.: A(x) = 1 + 42*x + 22050*x^2 + 16909900*x^3 +...
A(x)^2 = 1 + 84*x + 45864*x^2 + 35672000*x^3 +...+ A184896(n)*x^n +...

Vincenzo Librandi, Table of n, a(n) for n = 0..100

Cf. A184896; variants: A184424, A178529, A184891, A092870, A184897.

FullSimplify[Table[2^(2*n) * 7^(3*n) * Gamma[n+1/14] * Gamma[n+3/7] / (Gamma[3/7] * Gamma[1/14] * Gamma[n+1]^2), {n, 0, 15}]] (* Vaclav Kotesovec, Jul 03 2014 *)

{a(n)=(7^n/n!^2)*prod(k=0,n-1,(14*k+1)*(14*k+6))}

Self-convolution yields Sum_{k=0..n} a(n-k)*a(k) = A184896(n) where A184896(n) = C(2n,n) * (7^n/n!^2)*Product_{k=0..n-1} (7k+1)*(7k+6).

a(n) ~ 2^(2*n) * 7^(3*n) / (Gamma(3/7) * Gamma(1/14) * n^(3/2)). - Vaclav Kotesovec, Nov 19 2023

A184891 a(n) = (5^n/n!^2) * Product_{k=0..n-1} (10k+1)*(10k+4).

Original entry on oeis.org

1, 20, 3850, 1078000, 355066250, 128107903000, 49001272897500, 19520507080800000, 8012558140822125000, 3365274419145292500000, 1439327869068441602250000, 624739666805574817770000000

Offset: 0

Paul D. Hanna, Jan 25 2011

nonn

			G.f.: A(x) = 1 + 20*x + 3850*x^2 + 1078000*x^3  +...
A(x)^2 = 1 + 40*x + 8100*x^2 + 2310000*x^3  +...+ A184892(n)*x^n +...

Vincenzo Librandi, Table of n, a(n) for n = 0..100

Cf. A184892; variants: A184424, A178529, A092870, A184895, A184897.

Table[5^n/(n!)^2 Product[(10k+1)(10k+4),{k,0,n-1}],{n,0,20}] (* Harvey P. Dale, Feb 02 2012 *)
FullSimplify[Table[2^(2*n) * 5^(3*n) * Gamma[n+1/10] * Gamma[n+2/5] / (Gamma[2/5] * Gamma[1/10] * Gamma[n+1]^2), {n, 0, 15}]] (* Vaclav Kotesovec, Jul 03 2014 *)

{a(n)=(5^n/n!^2)*prod(k=0,n-1,(10*k+1)*(10*k+4))}

Self-convolution yields Sum_{k=0..n} a(n-k)*a(k) = A184892(n) where

. A184892(n) = C(2n,n) * (5^n/n!^2)*Product_{k=0..n-1} (5k+1)*(5k+4).

A184897 a(n) = (8^n/n!^2) * Product_{k=0..n-1} (16k+1)*(16k+7).

Original entry on oeis.org

1, 56, 43792, 50098048, 67507119680, 99694514343424, 156121609461801984, 254663020429855285248, 428056704465033002591232, 736257531679856764456919040, 1289628692490437108622739390464

Offset: 0

Paul D. Hanna, Jan 25 2011

nonn

			G.f.: A(x) = 1 + 56*x + 43792*x^2 + 50098048*x^3 +...
A(x)^2 = 1 + 112*x + 90720*x^2 + 105100800*x^3 +...+ A184898(n)*x^n +...

Vincenzo Librandi, Table of n, a(n) for n = 0..100

Cf. A184898; variants: A184424, A178529, A184891, A092870, A184895.

FullSimplify[Table[2^(11*n) * Gamma[n+1/16] * Gamma[n+7/16] / (Gamma[n+1]^2 * Gamma[1/16] * Gamma[7/16]), {n, 0, 15}]] (* Vaclav Kotesovec, Jul 03 2014 *)

{a(n)=(8^n/n!^2)*prod(k=0,n-1,(16*k+1)*(16*k+7))}

Self-convolution yields Sum_{k=0..n} a(n-k)*a(k) = A184898(n) where A184898(n) = C(2n,n) * (8^n/n!^2)*Product_{k=0..n-1} (8k+1)*(8k+7).

cp's OEIS Frontend

A008977 a(n) = (4*n)!/(n!)^4.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

Maxima

PARI

Python

Formula

A092870 Expansion of Hypergeometric function F(1/12, 5/12; 1; 1728*x) in powers of x.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

A184895 a(n) = (7^n/n!^2) * Product_{k=0..n-1} (14k+1)*(14k+6).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A184891 a(n) = (5^n/n!^2) * Product_{k=0..n-1} (10k+1)*(10k+4).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A184897 a(n) = (8^n/n!^2) * Product_{k=0..n-1} (16k+1)*(16k+7).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula