where ``smooth'' means that derivatives of all orders must exist over
the range of validity. Derivatives of all orders are obviously needed
at by the above expansion, and for the expansion to be valid
everywhere, the function must be smooth for all .