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 .

Mon Jul 22 19:56:03 EDT 1996