limit infimum