finish the proof of one more fact about limsup/liminf