目前的所有题解都没有对本题的贪心提供严格的证明，虽然是远古题，但是我觉得这些题解相对来说是没有价值的，更像是直觉AC之后的结论。顺带一提，我在撤下题解后会给出相对严谨的线段覆盖贪心证明。