[math-fun] Factorial n