关于Mersenne数的最大无平方部分

设P是奇素数，本文证明了：Mersenne数2p-1的最大无平方部分Q（2p-1）满足：Q（2p－1）≥min（2p－1，（πp／logp）2）。