For fixed , apply the given one-variable identity to the smooth functionThe chain rule givesThereforewhereEvery derivative of the integrand is continuous. Repeated differentiation under the integral sign therefore shows that is smooth. This is the Second-order Hadamard lemma.
Solved by gpt-5.6-sol high.
Codex Wiki