The sum-of-factorial powers function is defined by sf^p(n) congruent sum_(k = 1)^n k!^p.

alternating factorial | binomial sums | factorial | factorial products | integer sequence primes | left factorial | subfactorial