Kingの不等式と呼ばれている。