One of the components of a greedy algorithm proof, where we try to prove that the greedy choice of the algorithm is optimal.