Find all polynomials $P$ with integer coefficients such that $P(P(x))-x$ is irreducible over $\mathbb{Z}[x]$.
Source: 2024 Korea Summer Program Practice Test P1
Tags: algebra, polynomial
Find all polynomials $P$ with integer coefficients such that $P(P(x))-x$ is irreducible over $\mathbb{Z}[x]$.