Problem

Source: BdMO 2023 Secondary National P1

Tags: factorial, number theory, Diophantine Equations



Find all possible non-negative integer solution $(x,y)$ of the following equation- $$x! + 2^y =(x+1)!$$Note: $x!=x \cdot (x-1)!$ and $0!=1$. For example, $5! = 5\times 4\times 3\times 2\times 1 = 120$.