>>623を差し替えます。

局所的傾きが大域的傾きより大きいとすると、
[logx_0+slog(3/2)]-[logx_0]+1 > (s+1)log(3/2)　　　で、
天井関数の定義から
logx_0+slog(3/2)+1 -logx_0-1 +1 > [logx_0+slog(3/2)]-[logx_0]+1 > (s+1)log(3/2)
slog(3/2)+1 > (s+1)log(3/2)
1 > log(3/2)
となって、最大で約0.415大きい事になります。
従ってlogx_0を4bit以上にとれば、
ずれは3以上になります。