[math-fun] Factorials in non-hypergeometric sums