Applications of the van Trees Inequality: A Bayesian Cramér-Rao Bound | Synapse