Past exam of the mathematics course of the University of Cambridge / 2021 / ib / Paper 3 / 17B / a / Solution

By the Leibniz rule,After multiplication by $(-1{)}^n{x}^{-1/2}{e}^x$, the term $j=0$ is $x^n$, and every other term has lower degree. Thus $p_n$ is a monic polynomial of degree $n$. Direct calculation givesThese are the monic normalization of the generalized Laguerre polynomials with parameter $1/2$.