Asumiendo una función formula_13 que está bien definida cuando formula_14, podemos formar la integral definida desde 0 hasta "x".