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. Isso é representado por: