5*2^60に適用すると、
n < x_0 < sにおいて
n=5*2^60、x_0=5*2^60+1、s=5*2^60+2とおいて、
([logx_0+slog(3/2)]-[logx_0]+1)/(s+1)　　　は、
≒([62.535 +2.9248*2^60+1.169]-62)/(5*2^60+3)
≒3372064816674106002/5764607523034235003
≒0.584959　　　となってlog(3/2)より小さくなりました。

よって、現状、周期5*2^60+1以下のループは存在しない
事が言えました。