 This process may be illustrated by considering the familiar factorial function \(x!\)—i.e., the function which returns the product \(1 \times 2 \times \ldots \times x\) if \(x &gt; 0\) and 1 otherwise. An alternative recursive definition of this function is as follows: 