在手机上压缩文件:谁能帮我解一下这个不等式