
$\delta_n' := \min (\delta_n, \delta_{n-1})$
