A pointwise condition for an infinitely differentiable function of several variables to be a polynomial (Q749691)

In J. Math. Anal. Appl. 140, No.2, 301-309 (1989; Zbl 0684.26009) the authors proved the following extension of a theorem of E. Corominas and F. Sunyer Balaguer: Suppose that f is a \(C^{\infty}\) function on a connected, open subset D of \({\mathbb{R}}^ n\) such that for each x in D there is a nonnegative integer m(x) such that \(f^{\alpha}(x)=0\) for all multi-indices \(\alpha =(\alpha_ 1,...,\alpha_ n)\) satisfying \(| \alpha | =\alpha_ 1+...+\alpha_ n\geq m(x).\) Then f is a polynomial. They also conjectured that the theorem is true if one replaces the assumption that \(| \alpha | \geq m\) by the weaker one that \(| \alpha | =m.\) In the present note this conjecture is settled. (See also the reviewer's remark in the review cited above.)