L'Hôpital's Rule is Equivalent to the Least Upper Bound Property

Martin Grant, Kyle Hambrook, Alex Rusterholtz

We prove that, in an arbitrary ordered field, L'Hô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 Remain…