https://mathematica.stackexchange.com/questions/18327/definite-integral-takes-a-very-long-time
https://blog.wolfram.com/2008/01/19/mathematica-and-the-fundamental-theorem-of-calculus/
逆関数,連続性,被積分関数,極,不定積分 antiderivative