Bằng chứng.(i) giả sử rằng '(x*) f < M < 1. Sau đó, có một khoảng thời gian J = (x *-j, x * + y) có chứa x * như vậy mà f ' (x) < M < 1 cho tất cả x G J. Nếu không, sau đó cho mỗi khoảng thời gian mở cửa tại = (x * — n, x * + n) (đối với n lớn) đó là một điểm xn G tại như vậy mà f'(xn) > M. Là n ^ cho, xn ^ x *. Kể từ khi f' là một chức năng liên tục, nó sau đó
đang được dịch, vui lòng đợi..