fがR→Rの連続関数ならｆは原始関数を持つって聞いたのですが、
なぜなのか証明できません。感覚でなら分かるのですが・・・。
どなたか厳密な証明してもらえないでしょうか？