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.

A239432 Number of permutations of length n with longest increasing subsequence of length 8.

Original entry on oeis.org

1, 64, 2521, 79861, 2250887, 59367101, 1508071384, 37558353900, 927716186325, 22904111472825, 568209449266202, 14216730315766814, 359666061054003144, 9216708503647774264, 239524408949706575548, 6317740398995612513164, 169207499997274346326579, 4602911809939402715164066
Offset: 8

Views

Author

Vaclav Kotesovec, Mar 18 2014

Keywords

Comments

In general, for column k of A047874 is a(n) ~ product(j!, j=0..k-1) * k^(2*n+k^2/2) / (2^((k-1)*(k+2)/2) * Pi^((k-1)/2) * n^((k^2-1)/2)) [Regev, 1981].

Crossrefs

Formula

a(n) ~ 1913625 * 2^(6*n+77) / (Pi^(7/2) * n^(63/2)).