bounded below