昨日の証明をようやく書き上げた。途中の中間値の定理が…というところは本来ならば増減表をかくべきところだ。 はてなのウェブ上だとなかなかかきにくい。 htmlのtableタグを使って作るしかないだろうな、という気がする。 今日のところは面倒なのでやらない…