At this point, it seems wise to verify that all of the constraints on the constants , , d, , , , , , , , and can be satisfied. First, we must choose small so that is close to d-1. Second, we choose small so that is close to . This choice will make small. Third, we set , which is small, and choose large so that is close to . In particular, we need and . Finally, we need .