Ya tenemos la solución, pero la integral definida parece difícil de resolver.