Greedy Stays Ahead Proof

Some guides and examples: