تحتوي الدالة السلسة f: [0،1] ->R على خاصية أنه لكل x يوجد n_x بحيث تختفي جميع مشتقات الترتيب على الأقل n_x على x. هل f بالضرورة متعدد الحدود؟