Let $P(x)$ be a polynomial in one variable with integer coefficients. Prove that the number of pairs $(m,n)$ of positive integers such that $2^n + P(n) = m!$, is finite.
Problem
Source: XIII International Festival of Young Mathematicians Sozopol 2024, Theme for 10-12 grade
Tags: number theory, polynomial