a_n=n \cdot a_{n-1}
\text{If} n=1, \text{then} a_1=a_0.
a_n=n \cdot a_{n-1}
\Rightarrow a_n=n(n-1) \cdot a_{n-2}
\Rightarrow a_n=n(n-1)(n-2) \cdot a_{n-3}
\Rightarrow a_n=n(n-1)(n-2)(n-3) \cdot a_{n-4}
\Rightarrow a_n=n(n-1)(n-2)(n-3)(n-4) \cdot a_{n-5}
\Rightarrow a_n=n(n-1)(n-2)(n-3)(n-4)(n-5)\cdot... \cdot 3 \cdot 2 \cdot 1 \cdot a_{n-n}
\Rightarrow a_n=n(n-1)(n-2)(n-3)(n-4)(n-5)\cdot... \cdot 3 \cdot 2 \cdot 1 \cdot a_{0}
\Rightarrow a_n=n! \cdot a_{0}
\Rightarrow a_n=n! \cdot a_{1}
\text{If} a_1=1, \text{then} \boxed{a_n=n!}\space\checkmark