For consider and for . In general removing terms will always decrease the limsup since you might have removed a term that was equal to the limsup.

Also if exist, it must be equal to both and . So I don't see how they say that the limsup (which always exist) is less than or equal to the limit (which might not even exist).