Maybe we could generalize a bit more: Given that [tex] f^{n} , f^{n-1} \in C^{\infty} [/tex] does it follow that [tex] f \in C^{\infty} [/tex] (where [tex] f^n [/tex] is the function raised to some power [tex] n [/tex])?