ネストの深い論証
Szemerediのregularity lemmaを使う証明はどうも説明しづらい．Quantifier (∀や∃) が平気で7つか8つぐらい付いてくるので．
2008-07-09 - okamoto7の日記
あとは……inductive hypothesisが15個くらいあるinductionがきちんと回っていることを確認するだけです。
すごいぞ、半年前の自分 - くるるの数学ノート
7個とか8個とか15個とかすごい個数だなぁと思いつつ*1、でも自分も場合分け関連では結構ネストの深い記述に走りがちなのであまり他人のことは言えませんね。
もっとも、餓狼伝の片岡さん風に言えば、quantifierやinductive hypothesisが1個の場合を理解できるなら10個の場合でも20個の場合でも理解できるということになりますが。
