Partimos de la definición de factorial de un número n: