equal_range、lower_bound、upper_boundはいずれもForwardIteratorを要求します。
これにvectorのようなRandomAccessIteratorを適用した場合、RandomAccessIterator用の実装がタグ指名されるのでしょうか?
つまり、ちゃんと二分探索されるのでしょうか?