Recursive Decomposition of Factorials via the Consecutive Summation Notation n_+ and the Derivation of a Generalized Formula | Synapse