Mersenne primes are primes of the form . For to be prime we must have that p is prime.
is prime. It was discovered in 1997.