L’Hôpital’s Rule and Higher Order Derivatives

Let x ' a and assume that x > a (the case x < a is similar). Consider the extended context of f, g, a and x, and fix y > a such that y +' a (that is, relative to the extended context). We necessarily have

a < y < x.