[see also: rename
Next we relabel the collection {An,Bn} as {Cn}.
Then we can find a subsequence (not relabelled) such that an<1 for all n.