http://imgur.com/g813e8c.jpg
http://imgur.com/3a8EPkD.jpg

↑は野村隆昭著『微分積分学講義』です。

内容は、「区間 I で連続な1対1の関数は狭義単調である」という定理の証明です。

この本、ちょっとした小細工的な工夫がしてあって、面白いですね。

この本、薄いし、読みやすいので、結構、おすすめです。

>>934
も、有界な数列は部分列として単調数列を含むということを証明していて、おしゃれですね。