Simplified suboptimality (i.e. correctness) proof