16時起きでしたが何か。
　明日も出かける予定はないので、この3連休はどこにも出かけず引きこもっちゃったけどまあいいや。

　今日もTeX打ち込み。いよいよラストに近づいてきて、明日にも公開したいなぁ、と思っていたんだけどねぇ。やっぱりうまくはいかないよ。
　1ヶ月前ぐらいから薄々気付いていて、本屋に行くたびに一応チェックしていた項目があったんだけど、今日の時点での決断はやるしかないってことで。
　まあ何の話か簡単に言うと、テイラー展開の剰余項をラグランジュ型だけにしてしまうと、 log ( 1 + x ) や 1 / ( 1 – x ) のテイラー展開の収束半径で剰余項が 0 になることが示せないっていうことだけど。
　うまく切り抜ける方法が書いてある本がないかなぁと思ってずっとチェックしてたんだけど、初歩的かつ直接的に示す場合、コーシー型の剰余項を用いないといけないみたい。ここまで放っておいた私が悪かったんだけど。
　しょうがないからこれから書きますよ。これから本を読んで証明を理解して打ち込み。朝になってしまうよ（注：今は27時です）。

　ちなみに、必ず書かなければならない記事は、「微分法の方程式への応用」「関数の凹凸の平均値の定理を用いた証明」「テイラー展開不可能な例」。できれば書きたい記事は「凸関数」「項別微分、項別積分を利用した級数展開の例」あたり。明日公開は無理だなぁ（汗