A simple factorial recursion