column value
英文名稱 upper bound theorem
中文名稱 上限定理