それと対照的に、"x" 内のすべての "x" に対してformula_3が成立するとき、その函数は下界 "b" によって下から抑えられる()と言い、そのような "b" が存在するときその函数は下に有界であるという。