Bellman comparison with nonnegative rewards and superunit discount (source code)

= Bellman comparison with nonnegative rewards and superunit discount
{c}
{title2=$\beta\geq1,\quad r\geq0$}

For nonnegative rewards, a nonnegative value satisfying the maximizing <Bellman equation> dominates every competing policy, even for $\beta\geq1$. Iterate the one-step inequality, discard the nonnegative terminal value, then apply the <monotone convergence theorem> to the accumulated reward.