When Proof Is Essential vs Intuitive - Proving Greedy Algorithm Correctness | OneNoughtOne