>>592
>>589は単に高校数学でおなじみのリーマン積分の置換積分なのでは?