框架的定义:不等式的证明