>>460
Riemann可積分性の話だったと思うが