Mersenne prime infinity