L'H\^{o}pital's Rule is Equivalent to the Least Upper Bound Property
We prove that, in an arbitrary ordered field, L'H\^{o}pital's Rule is true if and only if the Least Upper Bound Property is true. We do the same for Taylor's Theorem with Peano Remainder, and for one other property sometimes given as a corollary of L'H\^{o}pital's Rule.
math.CA↗