Define una funcion que devuelva el factorial de un entero positivo dado.