下方有界

bounded from below