[logx_0+slog(3/2)]-[logx_0]+1 > (s+1)log(3/2) で、
左辺が最大になるのは
[logx_0]+[slog(3/2)]-[logx_0]+1 > (s+1)log(3/2)
[slog(3/2)]+1 > (s+1)log(3/2) ……(2)
です。
例えばslog(3/2)=1.9とすると
(2)は 3 > 2.485 となります。
slog(3/2)=1.1とすると
(2)は 3 > 1.685 となります。
よって最大2の差が生まれます。
従ってlogx_0を5bit以上にとれば、
ずれは3以上になります。