bibliographic details : 解不等式