Chứng minh rằng tồn tại một hàm liên tục trên [−1,+1] nhận đạo hàm hữu hạn tại mọi điểm của khoảng này, đạo hàm đó bằng sin(sin1/x1) tại các điểm x khác với 1/nπ (n là một số nguyên =0) và khác 0. (Trên một lân cận của x=1/nπ hãy thực hiện phép thay đổi biến x=nπ+Arcsinu1 và sử dụng bài tập 7; bằng cùng phép thay đổi biến đó, chứng minh rằng tồn tại một hằng số a>0 độc lập với n sao cho