罗默书上说 在kt+1对kt的隐函数里面，如果年轻人的储蓄率对利率是减函数，必然出现kt对应多个kt+1的情况。


就是说s是r的减函数是出现一对多的充分条件。

直觉上可以理解如果s对r是减函数，可能出现一大一小两个kt+1,且其大小在函数左边右边不矛盾。但不知道如何能确保其充分性？