Theorem. (Taylor) Every functional in has the representation
Proof. See Goldstein  p. 119. The Taylor infinite series is treated in Williamson and Crowell . The present form is typically more useful for computing bounds on the error incurred by neglecting higher order terms in the Taylor expansion.