というのは、別名「角谷予想」あるいは「3x+1問題」とも呼ばれ、以下のような命題の真偽値を問う問題のことを指す。 任意の0でない自然数nをとり、 nが偶数の場合、nを2で割る nが奇数の場合、nに3をかけて1を足す という操作を繰り返すと、有限回で1に到達…