% SZS status Theorem for MONOTONE__CONVERGENCE__BIGINTE
% SZS output start Proof for MONOTONE__CONVERGENCE__BIGINTE
  file('i/f/measure/MONOTONE__CONVERGENCE__BIGINTER2',ah4s_measures_MONOTONEu_u_CONVERGENCEu_u_BIGINTER)).
  file('i/f/measure/MONOTONE__CONVERGENCE__BIGINTER2',ch4s_measures_MONOTONEu_u_CONVERGENCEu_u_BIGINTER2)).
% SZS output end Proof for MONOTONE__CONVERGENCE__BIGINTE
