LOREM IPSUM

lim sup and lim inf are ways of deleting the initial segment of a sequence.