Greedy Stays Ahead Argument - Proving Greedy Algorithm Correctness | OneNoughtOne