xsA、ysB、コラッツパターン値xs、左端を伸ばすパターン値ys
の大小関係を考えます。

コラッツパターンは、下位からの繰り上がりが有ったり無かったりするので、
Upper_nbit xs < xsA
です。Upper_nbitは上位nビットを取るものです。

左端を伸ばすパターンは、下位からの繰り上がりが有ったり無かったりするので、
ysB < Upper_nbit ys
です。

Upper_nbit ys < Upper_nbit xsは自明なので、まとめると、
ysB < Upper_nbit ys < Upper_nbit xs < xsA
となります。