# Built-in
Factorial(5);

# An implementation
fact := n -> Product([1 .. n]);