Howardfs policy iteration(policy improvement algorithm)
Although we can regard 
or 
in the limit, it
is not true that
.
Then, we have to calculate the following initial value function
where
When we consider the model with labor,
where
When we consider the model with labor and
technology change,
where
and
for
and
starting from 
and 
when t=1.