 Van Trees inequality

The van Trees inequality is a Bayesian Cramer--Rao bound. For scalar likelihood information $I(\theta )$ and a differentiable prior density $\pi$ vanishing at its boundary,It follows by integration by parts and the Cauchy--Schwarz inequality applied to the joint likelihood-prior score.