类型二放缩后构造函数证明不等式
发布人