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
.