Interval Scheduling Greedy Algorithm Proof