山場に来た．Turanの定理を証明して，そこからErdos-Stoneの定理を証明するところまでいきたかったけど，そこは時間切れ． 極値組合せ論の議論によくあるような，不等式でどんどん評価していくところは解析学っぽいので慣れないと少し難しく感じるかもしれな…