Função fatorial que recebe como parâmetro um número inteiro k, k >= 0, e retorna k!.
fatorial
k
k >= 0