Proof.
(I) Giả sử rằng f '(x *) <M <1. Sau đó, có một khoảng thời gian J = (x * -j, x * + y) chứa x * sao cho f' (x) <M <1 cho tất cả x G J. vì nếu không, sau đó cho mỗi khoảng thời gian mở Trong = (x * - n, x * + n) (với n lớn) có một điểm G xn Trong đó rằng f '( xn) > M. Như n ^ tới, xn ^ x *. Kể từ khi f là hàm liên tục, sau đó
đang được dịch, vui lòng đợi..