Primitive Recursive Arithmetic Function