Conjetura de Mersenne