|
|
A035020
|
|
One sixth of 9-factorial numbers.
|
|
13
|
|
|
1, 15, 360, 11880, 498960, 25446960, 1526817600, 105350414400, 8217332323200, 714907912118400, 68631159563366400, 7206271754153472000, 821514979973495808000, 101046342536739984384000, 13338117214849677938688000, 1880674527293804589355008000, 282101179094070688403251200000
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,2
|
|
LINKS
|
|
|
FORMULA
|
6*a(n) = (9*n-3)(!^9) := Product_{j=1..n} (9*j-3) = 3^n*2*A034000(n), where 2*A034000(n) = (3*n-1)(!^3) := Product_{j=1..n} (3*j-1).
E.g.f.: (-1+(1-9*x)^(-2/3))/6.
a(n) = (1/6) * 9^n * Pochhammer(n, 2/3).
a(n) = (9*n - 3)*a(n-1). (End)
Sum_{n>=1} 1/a(n) = 6*(e/9^3)^(1/9)*(Gamma(2/3) - Gamma(2/3, 1/9)). (End)
|
|
MATHEMATICA
|
Table[9^n*Pochhammer[2/3, n]/6, {n, 40}] (* G. C. Greubel, Oct 18 2022 *)
|
|
PROG
|
(Magma) [n le 1 select 1 else (9*n-3)*Self(n-1): n in [1..40]]; // G. C. Greubel, Oct 18 2022
(SageMath) [9^n*rising_factorial(2/3, n)/6 for n in range(1, 40)] # G. C. Greubel, Oct 18 2022
|
|
CROSSREFS
|
|
|
KEYWORD
|
easy,nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|