The Peano kernel theorem writes a derivative-based error functional as , so its bound in the displayed derivative seminorm is at most the L1 norm of the kernel. This is the sharp constant: continuous derivatives can approximate the sign of in the weighted integral, and integrating them times produces admissible test functions. If has one sign, a constant th derivative already attains equality; in particular . This provides a direct exact check on proposed error constants before estimating individual polynomial pieces.
New to topics? Read the docs here!