Part of a greedy algorithm proof. Note that the possibility of the proof does not depend on the algorithm, but the problem. You cannot prove this for problems that can’t be solved using greedy algorithms.