Global Existence from Invariant Bounds