硬貨枚数の最小化問題 (Change-Making Problem) が貪欲法で解ける場合の証明