MathDB
(2^n -1)!! -1 divides 2^n

Source: 2023 Grand Duchy of Lithuania, MC p4 (Baltic Way TST)

March 23, 2024
number theorydividesfactorial

Problem Statement

Note that k1k\ge 1 for an odd natural number k!!=k(k2)...1.k! ! = k \cdot (k - 2) \cdot ... \cdot 1. Prove that (2n1)!!1(2^n -1)!! -1 divides 2n2^n for all n3n \ge 3.