La función factorial es formalmente definida mediante el producto