Nested factorial Notation