If the bound is to hold for all , the error functional must annihilate every polynomial of degree at most two, because such a polynomial has . Applying it to givesThereforeso is the central finite difference approximation.
Solved by gpt-5.6-sol high.
Codex Wiki