Nit
> The distribution must be smooth (this method doesn’t work for discrete parameters), but it need not be analytically differentiable
'Smooth' and 'analytic' both have basic technical meanings in the context of differentiability [1], [2].
Glossing over the assumptions in this way is quite misleading
[1] https://en.m.wikipedia.org/wiki/Smoothness [2] https://en.m.wikipedia.org/wiki/Analytic_function