3 ms·
> Then r-l is 0-1, which underflows. True. Then (l,r) = (18446744073709551615,0) is a counterexample, since r-l = 1.
by tromp 4y ago
> Then r-l is 0-1, which underflows.
True. Then (l,r) = (18446744073709551615,0) is a counterexample, since r-l = 1.