The factors cancel because the ML inequality introduces the length of the integration path, which is for the straight line segment from a to z. This length factor multiplies the supremum term, and it exactly cancels with the factor that comes from the denominator of the difference quotient.
Conditions: The integration path is the straight line segment from a to z.; The difference quotient has a denominator of , whose absolute value is .; The ML inequality is applied to the integral over this segment.
The factors cancel because the ML inequality introduces the length of the integration path, which is for the straight line segment from a to z. This length factor multiplies the supremum term, and it exactly cancels with the factor that comes from the denominator of the difference quotient.
Conditions: The integration path is the straight line segment from a to z.; The difference quotient has a denominator of , whose absolute value is .; The ML inequality is applied to the integral over this segment.