Bayesian Inference Math