>>374
なんかマッチョな方がいらっしゃって頼もしいわぁ〜
だけど、アルゴリズム系の話の証明は、単調減少する
加算無限量に落としこまないと、なかなか数学的な
証明に結びつかないのよね。
そういう意味では、「二で割る」っていう操作が
けっこうクセモノのように思うんだけど、
そのあたりの意見は聞きたいと思う。