The conclusion is: min(a1,b1) is able to reach 1 is equivalent to ''there exists 2 pairs (ai,bi),(aj,bj) which are both (1,1) AND there exists no (0,0) pairs between them.''↵
↵
I am uncertain about its validity since it differs from the tutorial. It would be awesome if anyone could prove it or come up with a counterexample.↵
↵
Thanks a lot! ↵
↵
↵
UPD1:↵
I didn't clarify my conclusion well...
Thanks.



