For a regular scalar model with score function and Fisher information , an estimator with mean satisfiesIndeed, differentiating gives , and the Cauchy-Schwarz inequality gives the bound.
An efficient estimator attains the relevant lower bound on estimator variance, such as the Cramer-Rao bound in a regular parametric model.
The van Trees inequality is a Bayesian Cramer--Rao bound. For scalar likelihood information and a differentiable prior density vanishing at its boundary,It follows by integration by parts and the Cauchy--Schwarz inequality applied to the joint likelihood-prior score.