Supplementary: Fast Bayesian Inference with Batch Bayesian Quadrature via Kernel Recombination 1 Convergence analysis