Problem

Source: Philippine Mathematical Olympiad 2024 P2

Tags: factorial, number theory



Let $0!!=1!!=1$ and $n!!=n\cdot (n-2)!!$ for all integers $n\geq 2$. Find all positive integers $n$ such that \[\dfrac{(2^n+1)!!-1}{2^{n+1}}\]is an integer.