login
Number of leading odd entries in all permutations of {1,2,...,n} (see example).
2

%I #14 Apr 02 2024 12:04:59

%S 1,1,6,16,120,540,5040,32256,362880,3024000,39916800,410572800,

%T 6227020800,76281004800,1307674368000,18598035456000,355687428096000,

%U 5762136335155200,121645100408832000,2211729098342400000,51090942171709440000,1030334000462807040000

%N Number of leading odd entries in all permutations of {1,2,...,n} (see example).

%C a(n) = Sum_{k=0..ceiling(n/2)} k*A152662(n,k).

%F a(2n+1) = (2n+1)!;

%F a(2n) = n(2n)!/(n+1).

%F D-finite with recurrence 2*(n+2)*a(n) +3*(-n-1)*a(n-1) -2*n*(n-1)*(n+1)*a(n-2) +(n-2)*(n-1)^2*a(n-3)=0. - _R. J. Mathar_, Jul 26 2022

%e a(3) = 6 because in the permutations 123, 132, 213, 231, 312, 321 we have 1+2+0+0+2+1 = 6 leading odd entries.

%p ao := proc (n) options operator, arrow; factorial(2*n+1) end proc: ae := proc (n) options operator, arrow: n*factorial(2*n)/(n+1) end proc: a := proc (n) if `mod`(n, 2) = 1 then ao((1/2)*n-1/2) else ae((1/2)*n) end if end proc: seq(a(n), n = 1 .. 20);

%t a[n_] := If[OddQ[n], n!, n*n!/(n+2)];

%t Table[a[n], {n, 1, 20}] (* _Jean-François Alcover_, Apr 02 2024 *)

%Y Cf. A152662, A152664, A152665.

%K nonn

%O 1,3

%A _Emeric Deutsch_, Dec 13 2008