0109righ1113
2013/09/29(日) 01:09:27.19あとはこれをs∞まで広げれば良いわけです。
s0からsgの間に傾きaを上回る二点xf,xf+1が存在する
事が言えます。もしなかったらコラッツ値のグラフが傾きa直線とぶつかって
矛盾するからです。
xf,xf+1でも同様に
xs > xf * b^t s < sh が言えます。変形して
> x0 * a^f * b^t
> x0 * a^(f+t) ∵ a<b
成り立つ区間がs < sgからs < sg < shにのびました。
このプロセスを繰り返せばs∞までxs > x0*a^sが言えます。
Bが証明できました。