https://atcoder.jp/contests/past202004-open/tasks/past202004_f

この問題は貪欲法が適用できるとのことですが、適用できることの証明はどう証明するのでしょうか?