Factorial number

A factorial number is a natural number $$n$$ that is the factorial of another natural number.