Sendo k um número inteiro maior do que 1, define-se fatorial de k como o produto dos k números naturais consecutivos de k a 1. Representamos por:
(K - 1)!
k^
K?
K!