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-1 of 1 results.

A364184 a(n) = (12*n)!*(2*n)!*(3*n/2)!/((6*n)!*(9*n/2)!*(4*n)!*n!).

Original entry on oeis.org

1, 1408, 6374082, 32993443840, 180669266788650, 1020694137466257408, 5882199787281395215344, 34369110490167819009785856, 202857467914154836183288657770, 1206640354461153104738279049134080, 7221430962039777689508936047385667332
Offset: 0

Views

Author

Peter Bala, Jul 13 2023

Keywords

Comments

A295481, defined by A295481(n) = (24*n)!*(4*n)!*(3*n)! / ((12*n)!*(9*n)!*(8*n)!*(2*n)!), is one of the 52 sporadic integral factorial ratio sequences of height 1 found by V. I. Vasyunin (see Bober, Table 2, Entry 51). Here we are essentially considering the sequence {A295481(n/2) : n >= 0}. Fractional factorials are defined in terms of the gamma function; for example, (9*n/2)! := Gamma(1 + 9*n/2).
This sequence is only conjecturally an integer sequence.
Conjecture: the supercongruences a(n*p^r) == a(n*p^(r-1)) (mod p^(3*r)) hold for all primes p >= 5 and all positive integers n and r.

Crossrefs

Programs

  • Maple
    seq( simplify((12*n)!*(2*n)!*(3*n/2)!/((6*n)!*(9*n/2)!*(4*n)!*n!)), n = 0..15);

Formula

a(n) ~ c^n * 1/sqrt(6*Pi*n), where c = (2^15)/(3^2) * sqrt(3).
a(n) = 49152*(12*n - 1)*(12*n - 5)*(12*n - 7)*(12*n - 11)*(12*n - 13)*(12*n - 17)*(12*n - 19)*(12*n - 23)/(n*(n - 1)*(9*n - 2)*(9*n - 4)*(9*n - 8)*(9*n - 10)*(9*n - 14)*(9*n - 16))*a(n-2) with a(0) = 1 and a(1) = 1408.
Showing 1-1 of 1 results.