Recursive Decomposition of Factorials via the Consecutive Summation Notation n_+ and the Derivation of a Generalized Formula.
SungKun Kim (Tue,) studied this question.