limsup liminf inequality