Fix description of `lg2` in exercise answer in the book.
Fix description of `lg2` in exercise answer in the book.

This is one of the errors mentioned in issue #931.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol