ルベーグ積分以前に、リーマン積分の事実なのだが…