Functions that are bounded below.