りりむ、積分の結果を疑い微分して元に戻ることを確かめようとする