3 formal proofs of the bounds are provided along with error bounds on the accuracy of the bounds