Ontify
Mathematical inequality bounding the derivative of a polynomial by its degree and maximum value.