Catalan–Mersenne number conjecture