0609righ1113 ◆OPKWA8uhcY
2016/10/09(日) 03:51:36.82ID:TAxHXTw4n < 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以下のループは存在しない
事が言えました。