Added the proof that greedy is not optimal