Eine glatte Funktion f:[0,1]->R hat die Eigenschaft, dass für jedes x ein n_x existiert, sodass alle Ableitungen von mindestens n_x an x verschwinden. Ist f notwendigerweise ein Polynom?