Greedy Argument can be used to prove the correctness and/or optimality of greedy algorithms