MathDB
Mersenne primes

Source: 2021 IMOC qualification problems, N1

December 30, 2021
IMOCnumber theory

Problem Statement

Prove: if 22n112^{2^n-1}-1 is a prime, then nn is a prime.