Một hàm mượt f:[0,1]->R có tính chất rằng với mọi x, tồn tại một n_x sao cho tất cả các đạo hàm có bậc ít nhất n_x đều bằng 0 tại x. Liệu f có nhất thiết phải là một đa thức không?