ここでは、以下の二つの補題を証明します。 １．「元のコラッツパターン」の右端が（コラッツ操作が1に収束するまでは） 傾きlog2(3/2)の直線をとる ２．「差のパターン」の右端は、それより大きい傾きで進行する １．「元のコラッツパターン」の右端が傾きl…