Let be the real numbers, let be order-convex, let , and let satisfy for some , so that is an interior point of .
Suppose that and are real numbers each of which has the property required of the derivative in Derivative at an Interior Point, that is, for every with there exists with such that every with and satisfies
and likewise for , where is the absolute value.
Then . In particular the derivative is well defined.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.