Mersenne prime

A Mersenne prime is a specific type of prime number that can be expressed in the form \(M_n = 2^n - 1\), where \(n\) is a positive integer. In other words, if \(M_n\) is prime, then \(n\) itself must also be prime.