極限との入れ替えが厳しすぎるリーマン積分とか使ってられんよ