Rewrite the implications of the constraint regarding the number of buckets
Add suplemental word to section "Division into buckets"
Reorder elements in equation in "Division into buckets"