Recurrence relation
Factorial

The factorial is defined by the recurrence relation

and the initial condition

This is an example of a linear recurrence with polynomial coefficients of order 1, with the simple polynomial (in n)

as its only coefficient.
combination:repeat_prompt, punctuation:no_comma