>>178
>δ((G_(n+1))~) ≦ (1/2)δ((G_n)~) となるように定義する。

δ((G_1)~) = ∞ かもしれないので、以下のように訂正する。

δ((G_2)~) ＜ ∞ とし、
n ≧ 2 のとき δ((G_(n+1))~) ≦ (1/2)δ((G_n)~) とする。