賦值法證明數列不等式