variance_partial_integral_le