login
A276100
a(n) = (15*n)!*(n/2)!/((15*n/2)!*(5*n)!*(3*n)!).
21
1, 114688, 77636318760, 62505037015810048, 53837289804317953893960, 48066503353826060675410034688, 43880754270176401422739454033276880, 40671547154451909281150562260837340282880, 38113558705192522309151157825210540422513019720
OFFSET
0,2
COMMENTS
Fractional factorials are defined in terms of the gamma function, for example, (n/2)! := gamma(n/2 + 1).
This is only conjecturally an integer sequence. The similarly defined sequence (15*n)!*floor(n/2)!/(floor(15*n/2)!*(5*n)!*(3*n)!) = A211418(15*n) is integral.
Let u(n) = (30*n)!*n!/((15*n)!*(10*n)!*(6*n)!) = A211417(n). This sequence of ratios of factorials is integral and was used by Chebyshev in his estimate of the number of primes less than or equal to a fixed integer n. The three sequences u(1/2*n), u(1/3*n) and u(1/5*n) also appear to be integral (checked up to n = 200). This is the sequence u(1/2*n). See A276101( u(1/3*n) ) and A276102( u(1/5*n) ).
The generating function for u(n) is Hypergeom([29/30, 23/30, 19/30, 17/30, 13/30, 11/30, 7/30, 1/30], [4/5, 3/5, 2/5, 1/5, 2/3, 1/3, 1/2], (2^14*3^9*5^5)*x) and is known to be algebraic - see Rodriguez-Villegas. Are the generating functions for u(1/2*n), u(1/3*n) and u(1/5*n) also algebraic?
LINKS
F. Rodriguez-Villegas, Integral ratios of factorials and algebraic hypergeometric functions, arXiv:math/0701362 [math.NT], 2007.
FORMULA
O.g.f.: A(x) = Hypergeom([29/30, 23/30, 19/30, 17/30, 13/30, 11/30, 7/30, 1/30,], [4/5, 3/5, 2/5, 1/5, 2/3, 1/3, 1/2], (2^14*3^9*5^5)*x^2) + 114688*x*Hypergeom([22/15, 19/15, 17/15, 16/15, 14/15, 13/15, 11/15, 8/15], [13/10, 11/10, 9/10, 7/10, 7/6, 5/6, 3/2], (2^14*3^9*5^5)*x^2).
a(n) ~ (2^14*3^9*5^5)^(n/2)/sqrt(30*Pi*n).
MAPLE
A211417 := proc(n)
(30*n)!*(n)!/((15*n)!(10*n)!(6*n)!);
end proc:
seq(simplify(A211417(1/2*n)), n = 0..10);
MATHEMATICA
Table[(15 n)!*(n/2)!/((15 n/2)!*(5 n)!*(3 n)!), {n, 0, 8}] (* Michael De Vlieger, Aug 28 2016 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Peter Bala, Aug 22 2016
STATUS
approved