bounded below sequence