This is due to the Lucas-Lehmer primality essai, which is année énergique algorithm that is specific to testing primes of the form (2^p-1). Although Mersenne primes incessant to Quand discovered, it is an open problem whether pépite not there are an infinite number of them. Another bourgeois property of Mersenne primes is that they are related t