Trên khoảng I=[0,1] ta định nghĩa một dãy các hàm thực liên tục (fn) quy nạp như sau: Ta lấy f0(x)=x; với mỗi số nguyên n≥1 hàm fn là tuyến tính affine trên mỗi khoảng trong số 3n khoảng [3nk,3nk+1] với 0≤k≤3n−1; hơn nữa, ta lấy
fn+1(3nk)=fn(3nk) fn+1(3nk+3n+11)=fn(3nk+3n+12),fn+1(3nk+3n+12)=fn(3nk+3n+11). Chứng minh rằng dãy
(fn) hội tụ đều trên
I tới một hàm liên tục không có đạo hàm (hữu hạn hoặc vô hạn) tại mọi điểm của khoảng
]0,1[ (dùng Bài tập 1).