是说，formula_29；第二，formula_27是formula_28在formula_25中的唯一的不动点。为了证明第一个命题，我们注意到对于任何的formula_21，都有：由于当formula_35时，formula_36，因此根据夹挤定理，可知formula_37。这表明当formula_35时，formula_39。但当formula_35时，formula_41，且极限是唯一的；因此，一定是formula_42的情况。为了证明第二个命题，我们假设formula_43也满足for