Sharp one-panel trapezoidal error bound
ID: sharp-one-panel-trapezoidal-error-bound
For with , the trapezoidal rule satisfies the displayed bound, and the constant is best possible. The polynomial interpolation error for the endpoint linear interpolant satisfies , where . Integrating this inequality and using the triangle inequality for an integral proves the bound because . Equality holds for : the exact integral is , its trapezoidal rule estimate is , and .
New to topics? Read the docs here!