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!