考虑将手机中的pdf文件进行压缩,同事看我不知道怎么压缩pdf文件大小