इसका टेक्स्ट मैसेज भेजे: Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds