Mersenne prime
formula_11の代わりに formula_12と書く。二重メルセンヌ数は、これを再帰的に定義した数列の特別な場合である。