Let and be real-valued functions of a real variable . Let and suppose that, in some open interval containing , and are differentiable except possibly at , with being nowhere zero.
Suppose, moreover that
Then
provided this limit exists, satisfies