Primitive Recursive Function In Math