Corollary about suboptimality at termination