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.
%I A137801 #6 Mar 30 2012 17:27:00 %S A137801 0,6,900,748440,1559930400,6928346502000,58160619655538400, %T A137801 845986566719614320000,19957466912796971445888000, %U A137801 724891264860942581350908960000,38873628093261330554954970801600000 %N A137801 Number of arrangements of 2n couples into n cars such that each car contains 2 men and 2 women but no couple (cars are labeled). %H A137801 <a href="http://dxdy.ru/post92408.html#p92408">Proof of the formula</a> (in Russian). %F A137801 a(n) = n! * A137802(n) = n! * SUM[i+j<=n] (-1)^i * (2n)! * (2n-i-2j)! / (n-i-j)! / i! / j! / 2^(2n-2i-j) %F A137801 a(n) = A000459(n) * (2n)! / 2^n = A000316(n) * (2n)! / 4^n [From _Max Alekseyev_, Nov 03 2008] %o A137801 (PARI) { a(n) = n! * sum(i=0,n, (-1)^i * sum(j=0,n-i, (2*n)! * (2*n-i-2*j)! / (n-i-j)! / i! / j! / 2^(2*n-2*i-j) ) ) } %Y A137801 Cf. A094047, A137802. %K A137801 nonn %O A137801 1,2 %A A137801 _Max Alekseyev_, Feb 10 2008