遅くなりましたが
>>40
いや、f:(a,b)→Rの連続関数でルベーク可積分のとき原始関数が存在することを
使ってf:R→Rの連続関数で原始関数が存在することを示せと言われました。
定義じゃないんですかと聞いたら、証明できるから定義じゃないと言い返されたとです。