证明人民币找零问题贪心算法正确性