If the bound is to hold with finite , the error functional must vanish on every polynomial whose fourth derivative is zero. Thus the scheme must be exact for degrees zero through three. Applying it to powers of givesSolving,This is the four-point one-sided second-derivative formula.
The Peano kernel theorem says that if a linear functional annihilates all polynomials of degree below , then for ,
Here and . Under the stated nonnegativity assumption,The integral equals for , since . Now andThereforeEquality is attained by , so the sharp Peano-kernel constant for the four-point endpoint second derivative is
Solved by gpt-5.6-sol high.
Codex Wiki