山場に来た．Turanの定理を証明して，そこからErdos-Stoneの定理を証明するところまでいきたかったけど，そこは時間切れ．
極値組合せ論の議論によくあるような，不等式でどんどん評価していくところは解析学っぽいので慣れないと少し難しく感じるかもしれないけども，数学をやってきた人にはそういうのはお手のものなんでしょうか．
来週は私がいないけど，再来週は今日の続きとSzemerediの正則性補題を紹介．その次はRamsey理論ということで，個人的には楽しいんだけど，趣味に走り過ぎている予感も．
