Proof: Bounding the Error or Remainder of a Taylor Polynomial Approximation