Error in the Algorithm Design Manual?
How can $Increment([m+1/2])$ be rewritten as $Increment([m])$?


Recall that $[x]$ means the greatest integer less than or equal to $x$.

Since $m$ is integer, $m$ is the less than $m+0.5$ and $m+0.5 &lt; m+1$. Thus the the greatest integer less than or equal to $m+0.5$ is $m$.