STATUS
reviewed
reviewed
proposed
editing
approved
(MAGMA) r:=3; r_Fubini:=func<n, r | &+[Factorial(k)*&+[(-1)^(k+h+r)*(h+r)^(n-r)/(Factorial(h)*Factorial(k-h-r)): h in [0..k-r]]: k in [r..n]]>;
proposed
editing
proposed
editing
a(n+3) = Sum_{k = 0..n} (k+3)!/k!*( Sum{i = 0..k} (-1)^(k-i)*binomial(k,i)*(3+i)^n ).
a(n+3) = Sum_{k = 0..n} 3^(n-k)*binomial(n,k)*( Sum_{i = 0..k} Stirling2(k,i)*(3+i)! ).