MathDB
Double factorial divisibility

Source: Philippine Mathematical Olympiad 2024 P2

February 24, 2024
factorialnumber theory

Problem Statement

Let 0!!=1!!=10!!=1!!=1 and n!!=n(n2)!!n!!=n\cdot (n-2)!! for all integers n2n\geq 2. Find all positive integers nn such that (2n+1)!!12n+1\dfrac{(2^n+1)!!-1}{2^{n+1}} is an integer.