Multivariate Taylor expansion

As for univariate functions, we can define finite Taylor expansions for multivariate functions. We prove the multivariate version of Taylor's theorem using its univariate version. We also introduce multivariate asymptotic expansions, which is a natural extension of the (definition of) total differentiation.