Finalized the non-optimality proof of the greedy