A127429 2^(n*(n-1)/2) - n!.

0, 0, 0, 2, 40, 904, 32048, 2092112, 268395136, 68719113856, 35184368460032, 36028796979047168, 73786976294359204864, 302231454903651066655744, 2475880078570760462619957248, 40564819207303340846586828204032, 1329227995784915872903786137490456576

Offset

0,4

Comments

Theorem: 2^(n*(n-1)/2) > n! for n > 2.

References

D. S. Mitrinovic, Analytic Inequalities, Springer-Verlag, 1970; p. 193, 3.1.19.

Links

Table of n, a(n) for n=0..16.

Crossrefs

Sequence in context: A264716 A264713 A012637 * A322179 A012834 A304448

Adjacent sequences: A127426 A127427 A127428 * A127430 A127431 A127432

Keyword

nonn

Author

N. J. A. Sloane, Apr 02 2007

Status

approved