Before revision:  We prove that: (i) the computed approximations bound the desired measures from below;
After revision:  We prove that: (i) the computed approximations bound the measures from below;