>>298
肝心なことを書き忘れていました。
A・B・C・D は、演算子あるいは作用素みたいなものなんです。
これに対して、ノルム（絶対値みたいなものです）を (p, q) に
対して与える関数 N((p, q)) を考えます。
このとき、操作 A・B・C・D に対してノルムが単調減少し、
すべての有限な量 (p, q) に対して N() が有限であるということが
証明されれば、コラッツ予想は肯定的に証明された、と
謂えるように思います。

もっとも、N が実数に対して写像されちゃうと、
「１／２ を何回掛けても 0 にはならない」みたいに
底抜けになってしまうので、N() はあくまで
整数域に対する関数でないと困るわけですが。