Tighten bound

Actually the element `b' in Proposition 4 moves 2m+1 times.