I appreciate your careful and patient explanation, and assay a superficial and snarky one of my own: it is impossible for the measure of the rationals, if it is to exist at all, to be exactly `e` for every small positive real number `e`. Even if we didn't know anything about the overlap of the intervals, we'd know at best that we had a (possibly non-strict) upper bound of `e`; but the only non-negative real number that can satisfy such a bound for every positive `e` is `0`.