Theorem 5.3.10. \(F(x)=0, \forall x \lt \inf(R)\) where inf is the infimum...the "minimum" but in a limit sense.