0465righ1113 ◆OPKWA8uhcY 垢版 | 大砲2016/06/22(水) 22:01:29.56ID:SAQFF6Ga >>463 X0とy0B*2^(py0+1)は右端が1ずれた(y0Bが大きい)状態からスタートします。 y0Bの12区切りのライトエッジパターンは1が7個はいっていて、 もしX0の12区切りのライトエッジパターンに1が8個以上入らなければ、初期値の1ずれがずっと維持されるので、 X0 < y0B*2^(py0+1)が言えるわけです。 これ自体でコラッツ予想は証明されないです。