Add subscript to a "max".
Small changes in the complexity section.
Fix Prop 7.6.

The previous placement of parentheses didn't make any sense in the
statement of Prop 7.6.
Further minor changes to the complexity section.
Remove two "comment"s from the complexity section.
Remove a few more unnecessary parentheses from Section 7.