>>535 タイポ訂正

 ある関数f:[t',t'']→R (不連続でも可)で
  ↓
 任意の関数f:[t',t'']→R (不連続でも可)で

だな