The Answer to the Question
is below this banner.
Here's the Solution to this Question
The factorial function defined as
From the definition of the factorial, we have that:
Thus fac is obtained by primitive recursion from the constant 1 and the primitive recursive function mult.
Hence fac is primitive recursive.