(a)
(b)
(c)
(d)
Figure 3:
,
,
,
, which means that condition
holds, and
. The initial value is
.