Define: \( 0! = 1 \)
\( n\in \mathbb{N},\; n!=1\cdot 2\cdot \dots (n-1)\cdot n \)