The coefficient formula from part (b) and the Leibniz rule yield Rodrigues' formula directly:
The leading coefficient is , so . Substitute this differentiated expression into one factor in the squared weighted norm and apply integration by parts times:
Every endpoint term contains a derivative of of order less than : it vanishes at zero, and its exponential decay beats every polynomial at infinity. This proves the normalization of the ordinary Laguerre polynomials for all , including without any integrations by parts.