微積は、最近のだと吉田伸夫のがええと思うよ
そのままルベーグ積分まで行けば、とりあえず実解析は終了